Transform-based image coding method and device therefor

ABSTRACT

An image decoding method according to the present document may comprise a step for deriving modified transform coefficients, wherein the step for deriving modified transform coefficients may comprise the steps of: determining whether the tree type of the current block is a single tree; parsing an LFNST index when the tree type is the single type, the LFNST index being parsed on the basis of a transform coefficient coding flag value for a luma component of the current block, or on the basis of whether an ISP mode is applicable to the luma component; and deriving the modified transform coefficients by applying an LFNST kernel derived on the basis of the LFNST index.

TECHNICAL FIELD

The present disclosure relates generally to an image coding technology and, more particularly, to an image coding method based on a transform in an image coding system and an apparatus therefor. The present disclosure relates generally to an image coding technology and, more particularly, to an image coding method based on a transform in an image coding system and an apparatus therefor.

BACKGROUND ART

Nowadays, the demand for high-resolution and high-quality images/videos such as 4K, 8K or more ultra high definition (UHD) images/videos has been increasing in various fields. As the image/video data becomes higher resolution and higher quality, the transmitted information amount or bit amount increases as compared to the conventional image data. Therefore, when image data is transmitted using a medium such as a conventional wired/wireless broadband line or image/video data is stored using an existing storage medium, the transmission cost and the storage cost thereof are increased.

Further, nowadays, the interest and demand for immersive media such as virtual reality (VR), artificial reality (AR) content or hologram, or the like is increasing, and broadcasting for images/videos having image features different from those of real images, such as a game image is increasing.

Accordingly, there is a need for a highly efficient image/video compression technique for effectively compressing and transmitting or storing, and reproducing information of high resolution and high quality images/videos having various features as described above.

DISCLOSURE Technical Problem

A technical aspect of the present disclosure is to provide a method and an apparatus for increasing image coding efficiency.

Another technical aspect of the present disclosure is to provide a method and an apparatus for increasing efficiency in coding an LFNST index.

Another technical aspect of the present disclosure is to provide a method and an apparatus for increasing efficiency in coding an LFNST index in response to a single tree type.

Technical Solution

According to an embodiment of the present disclosure, an image decoding method performed by a decoding apparatus is provided. The method may comprise deriving a modified transform coefficient, and deriving the modified transform coefficient may comprise determining whether a tree type of the current block is a single tree, parsing, in response to the tree type being the single tree, an LFNST index based on a value of a transform coefficient coding flag for a luma component of the current block or whether an ISP mode is applied to the luma component, and deriving the modified transform coefficient by applying an LFNST kernel derived based on the LFNST index.

The LFNST index may be parsed based on the value of the transform coefficient coding flag for the luma component being equal to 1.

The LFNST index may be parsed based on the application of the ISP mode to the luma component.

In response to the tree type being a dual tree chroma, the LFNST index may be parsed regardless of the value of the transform coefficient coding flag for the luma component.

In response to the value of the transform coefficient coding flag for the luma component being equal to 0, a value of the LFNST index may be equal to 0.

In response to a case where the ISP mode is not applied to the luma component and the value of the transform coefficient coding flag is equal to 0, a value of the LFNST index may be equal to 0.

According to an embodiment of the present disclosure, an image encoding method performed by an encoding apparatus is provided. The method may comprise deriving a modified transform coefficient, and deriving the modified transform coefficient may comprise determining whether a tree type of the current block is a single tree, determining, in response to the tree type being the single tree, whether to apply the LFNST based on a value of a transform coefficient coding flag for a luma component of the current block or whether an ISP mode is applied to the luma component, and deriving the modified transform coefficient from the transform coefficient based on a result of the determination.

According to another embodiment of the present disclosure, there may be provided a digital storage medium that stores image data including encoded image information and a bitstream generated according to an image encoding method performed by an encoding apparatus.

According to yet another embodiment of the present disclosure, there may be provided a digital storage medium that stores image data including encoded image information and a bitstream to cause a decoding apparatus to perform the image decoding method.

Technical Effects

According to the present disclosure, it is possible to increase overall image/video compression efficiency.

According to the present disclosure, it is possible to increase efficiency in coding an LFNST index.

According to the present disclosure, it is possible to increase efficiency in coding an LFNST index in response to a single tree type.

The effects that can be obtained through specific examples of the present disclosure are not limited to the effects listed above. For example, there may be various technical effects that a person having ordinary skill in the related art can understand or derive from the present disclosure. Accordingly, specific effects of the present disclosure are not limited to those explicitly described in the present disclosure and may include various effects that can be understood or derived from the technical features of the present disclosure.

DESCRIPTION OF DIAGRAMS

FIG. 1 is a diagram schematically illustrating a configuration of a video/image encoding apparatus to which the present disclosure is applicable.

FIG. 2 is a diagram schematically illustrating a configuration of a video/image decoding apparatus to which the present disclosure is applicable.

FIG. 3 schematically illustrates a multiple transform technique according to an embodiment of the present disclosure.

FIG. 4 exemplarily shows intra directional modes of 65 prediction directions.

FIG. 5 is a diagram for explaining RST according to an embodiment of the present.

FIG. 6 is a diagram illustrating a sequence of arranging output data of a forward primary transform into a one-dimensional vector according to an example.

FIG. 7 is a diagram illustrating a sequence of arranging output data of a forward secondary transform into a two-dimensional block according to an example.

FIG. 8 is a diagram illustrating a block shape to which the LFNST is applied.

FIG. 9 is a diagram illustrating an arrangement of output data of a forward LFNST according to an example.

FIG. 10 illustrates zeroing-out in a block to which a 4×4 LFNST is applied according to an example.

FIG. 11 illustrates zeroing-out in a block to which an 8×8 LFNST is applied according to an example.

FIG. 12 is a diagram for explaining a decoding method of an image according to an example.

FIG. 13 is a diagram for explaining an encoding method of an image according to an example.

FIG. 14 schematically illustrates an example of a video/image coding system to which the present disclosure is applicable.

FIG. 15 illustrates the structure of a content streaming system to which the present disclosure is applied.

MODE FOR INVENTION

While the present disclosure may be susceptible to various modifications and include various embodiments, specific embodiments thereof have been shown in the drawings by way of example and will now be described in detail. However, this is not intended to limit the present disclosure to the specific embodiments disclosed herein. The terminology used herein is for the purpose of describing specific embodiments only, and is not intended to limit technical idea of the present disclosure. The singular forms may include the plural forms unless the context clearly indicates otherwise. The terms such as “include” and “have” are intended to indicate that features, numbers, steps, operations, elements, components, or combinations thereof used in the following description exist, and thus should not be understood as that the possibility of existence or addition of one or more different features, numbers, steps, operations, elements, components, or combinations thereof is excluded in advance.

Meanwhile, each component on the drawings described herein is illustrated independently for convenience of description as to characteristic functions different from each other, and however, it is not meant that each component is realized by a separate hardware or software. For example, any two or more of these components may be combined to form a single component, and any single component may be divided into plural components. The embodiments in which components are combined and/or divided will belong to the scope of the patent right of the present disclosure as long as they do not depart from the essence of the present disclosure.

Hereinafter, preferred embodiments of the present disclosure will be explained in more detail while referring to the attached drawings. In addition, the same reference signs are used for the same components on the drawings, and repeated descriptions for the same components will be omitted.

This document relates to video/image coding. For example, the method/example disclosed in this document may relate to a VVC (Versatile Video Coding) standard (ITU-T Rec. H.266), a next-generation video/image coding standard after VVC, or other video coding related standards (e.g., HEVC (High Efficiency Video Coding) standard (ITU-T Rec. H.265), EVC (essential video coding) standard, AVS2 standard, etc.).

In this document, a variety of embodiments relating to video/image coding may be provided, and, unless specified to the contrary, the embodiments may be combined to each other and be performed.

In this document, a video may mean a set of a series of images over time. Generally, a picture means a unit representing an image at a specific time zone, and a slice/tile is a unit constituting a part of the picture. The slice/tile may include one or more coding tree units (CTUs). One picture may be constituted by one or more slices/tiles. One picture may be constituted by one or more tile groups. One tile group may include one or more tiles.

A pixel or a pel may mean a smallest unit constituting one picture (or image). Also, ‘sample’ may be used as a term corresponding to a pixel. A sample may generally represent a pixel or a value of a pixel, and may represent only a pixel/pixel value of a luma component or only a pixel/pixel value of a chroma component. Alternatively, the sample may refer to a pixel value in the spatial domain, or when this pixel value is converted to the frequency domain, it may refer to a transform coefficient in the frequency domain.

A unit may represent the basic unit of image processing. The unit may include at least one of a specific region and information related to the region. One unit may include one luma block and two chroma (e.g., cb, cr) blocks. The unit and a term such as a block, an area, or the like may be used in place of each other according to circumstances. In a general case, an M×N block may include a set (or an array) of samples (or sample arrays) or transform coefficients consisting of M columns and N rows.

In this document, the term “/” and “,” should be interpreted to indicate “and/or.” For instance, the expression “A/B” may mean “A and/or B.” Further, “A, B” may mean “A and/or B.” Further, “A/B/C” may mean “at least one of A, B, and/or C.” Also, “A/B/C” may mean “at least one of A, B, and/or C.”. (In this document, the term “/” and “,” should be interpreted to indicate “and/or.” For instance, the expression “A/B” may mean “A and/or B.” Further, “A, B” may mean “A and/or B.” Further, “A/B/C” may mean “at least one of A, B, and/or C.” Also, “A/B/C” may mean “at least one of A, B, and/or C.”)

Further, in the document, the term “or” should be interpreted to indicate “and/or.” For instance, the expression “A or B” may include 1) only A, 2) only B, and/or 3) both A and B. In other words, the term “or” in this document should be interpreted to indicate “additionally or alternatively.”. (Further, in the document, the term “or” should be interpreted to indicate “and/or.” For instance, the expression “A or B” may comprise 1) only A, 2) only B, and/or 3) both A and B. In other words, the term “or” in this document should be interpreted to indicate “additionally or alternatively.”)

In the present disclosure, “at least one of A and B” may mean “only A”, “only B”, or “both A and B”. In addition, in the present disclosure, the expression “at least one of A or B” or “at least one of A and/or B” may be interpreted as “at least one of A and B”.

In addition, in the present disclosure, “at least one of A, B, and C” may mean “only A”, “only B”, “only C”, or “any combination of A, B, and C”. In addition, “at least one of A, B, or C” or “at least one of A, B, and/or C” may mean “at least one of A, B, and C”.

In addition, a parenthesis used in the present disclosure may mean “for example”. Specifically, when indicated as “prediction (intra prediction)”, it may mean that “intra prediction” is proposed as an example of “prediction”. That is, “prediction” in the present disclosure is not limited to “intra prediction”, and “intra prediction” may be proposed as an example of “prediction”. In addition, when indicated as “prediction (i.e., intra prediction)”, it may also mean that “intra prediction” is proposed as an example of “prediction”.

Technical features individually described in one figure in the present disclosure may be individually implemented or may be simultaneously implemented.

FIG. 1 is a diagram schematically illustrating a configuration of a video/image encoding apparatus to which embodiments of the present disclosure is applicable. Hereinafter, what is referred to as the video encoding apparatus may include an image encoding apparatus.

Referring to FIG. 1 , the encoding apparatus 100 may include an image partitioner 110, a predictor 120, a residual processor 130, an entropy encoder 140, an adder 150, a filter 160, and a memory 170. The predictor 120 may include an inter predictor 121 and an intra predictor 122. The residual processor 130 may include a transformer 132, a quantizer 133, a dequantizer 134, an inverse transformer 135. The residual processor 130 may further include a subtractor 131. The adder 150 may be called a reconstructor or reconstructed block generator. The image partitioner 110, the predictor 120, the residual processor 130, the entropy encoder 140, the adder 150, and the filter 160, which have been described above, may be constituted by one or more hardware components (e.g., encoder chipsets or processors) according to an embodiment. Further, the memory 170 may include a decoded picture buffer (DPB), and may be constituted by a digital storage medium. The hardware component may further include the memory 170 as an internal/external component.

The image partitioner 110 may partition an input image (or a picture or a frame) input to the encoding apparatus 100 into one or more processing units. As one example, the processing unit may be called a coding unit (CU). In this case, starting with a coding tree unit (CTU) or the largest coding unit (LCU), the coding unit may be recursively partitioned according to the Quad-tree binary-tree ternary-tree (QTBTTT) structure. For example, one coding unit may be divided into a plurality of coding units of a deeper depth based on the quad-tree structure, the binary-tree structure, and/or the ternary structure. In this case, for example, the quad-tree structure may be applied first and the binary-tree structure and/or the ternary structure may be applied later. Alternatively, the binary-tree structure may be applied first. The coding procedure according to the present disclosure may be performed based on the final coding unit which is not further partitioned. In this case, the maximum coding unit may be used directly as a final coding unit based on coding efficiency according to the image characteristic. Alternatively, the coding unit may be recursively partitioned into coding units of a further deeper depth as needed, so that the coding unit of an optimal size may be used as a final coding unit. Here, the coding procedure may include procedures such as prediction, transform, and reconstruction, which will be described later. As another example, the processing unit may further include a prediction unit (PU) or a transform unit (TU). In this case, the prediction unit and the transform unit may be split or partitioned from the above-described final coding unit. The prediction unit may be a unit of sample prediction, and the transform unit may be a unit for deriving a transform coefficient and/or a unit for deriving a residual signal from a transform coefficient.

The unit and a term such as a block, an area, or the like may be used in place of each other according to circumstances. In a general case, an M×N block may represent a set of samples or transform coefficients consisting of M columns and N rows. The sample may generally represent a pixel or a value of a pixel, and may represent only a pixel/pixel value of a luma component, or only a pixel/pixel value of a chroma component. The sample may be used as a term corresponding to a pixel or a pel of one picture (or image).

The encoding apparatus 100 may generates a residual signal (residual block, residual sample array) by subtracting a prediction signal (predicted block, prediction sample array) output from the inter predictor 121 or the intra predictor 122 from an input image signal (original block, original sample array), and the generated residual signal may be transmitted to the transformer 132. In this case, as shown, a unit which subtracts the prediction signal (predicted block, prediction sample array) from the input image signal (original block, original sample array) in the encoding apparatus 100 may be called the subtractor 131. The predictor may perform prediction on a processing target block (hereinafter, referred to as ‘current block’), and may generate a predicted block including prediction samples for the current block. The predictor may determine whether intra prediction or inter prediction is applied on a current block or CU basis. As discussed later in the description of each prediction mode, the predictor may generate various information relating to prediction, such as prediction mode information, and transmit the generated information to the entropy encoder 140. The information on the prediction may be encoded in the entropy encoder 140 and output in the form of a bitstream.

The intra predictor 122 may predict the current block by referring to samples in the current picture. The referred samples may be located in the neighbor of or apart from the current block according to the prediction mode. In the intra prediction, prediction modes may include a plurality of non-directional modes and a plurality of directional modes. The non-directional modes may include, for example, a DC mode and a planar mode. The directional mode may include, for example, 33 directional prediction modes or 65 directional prediction modes according to the degree of detail of the prediction direction. However, this is merely an example, and more or less directional prediction modes may be used depending on a setting. The intra predictor 122 may determine the prediction mode applied to the current block by using the prediction mode applied to the neighboring block.

The inter predictor 121 may derive a predicted block for the current block based on a reference block (reference sample array) specified by a motion vector on a reference picture. At this time, in order to reduce the amount of motion information transmitted in the inter prediction mode, the motion information may be predicted on a block, subblock, or sample basis based on correlation of motion information between the neighboring block and the current block. The motion information may include a motion vector and a reference picture index. The motion information may further include inter prediction direction (L0 prediction, L1 prediction, Bi prediction, etc.) information. In the case of inter prediction, the neighboring block may include a spatial neighboring block existing in the current picture and a temporal neighboring block existing in the reference picture. The reference picture including the reference block and the reference picture including the temporal neighboring block may be same to each other or different from each other. The temporal neighboring block may be called a collocated reference block, a collocated CU (colCU), and the like, and the reference picture including the temporal neighboring block may be called a collocated picture (colPic).For example, the inter predictor 121 may configure a motion information candidate list based on neighboring blocks and generate information indicating which candidate is used to derive a motion vector and/or a reference picture index of the current block. Inter prediction may be performed based on various prediction modes. For example, in the case of a skip mode and a merge mode, the inter predictor 121 may use motion information of the neighboring block as motion information of the current block. In the skip mode, unlike the merge mode, the residual signal may not be transmitted. In the case of the motion information prediction (motion vector prediction, MVP) mode, the motion vector of the neighboring block may be used as a motion vector predictor and the motion vector of the current block may be indicated by signaling a motion vector difference.

The predictor 120 may generate a prediction signal based on various prediction methods. For example, the predictor may apply intra prediction or inter prediction for prediction on one block, and, as well, may apply intra prediction and inter prediction at the same time. This may be called combined inter and intra prediction (CIIP). Further, the predictor may be based on an intra block copy (IBC) prediction mode, or a palette mode in order to perform prediction on a block. The IBC prediction mode or palette mode may be used for content image/video coding of a game or the like, such as screen content coding (SCC). Although the IBC basically performs prediction in a current picture, it can be performed similarly to inter prediction in that it derives a reference block in a current picture. That is, the IBC may use at least one of inter prediction techniques described in the present disclosure. The palette mode may be viewed as an example of intra coding or intra prediction. When the palette mode is applied, a sample value in a picture may be signaled based on information about a palette table and a palette index.

The prediction signal generated through the predictor (comprising the inter predictor 121 and/or the intra predictor 122) may be used to generate a reconstructed signal or to generate a residual signal. The transformer 132 may generate transform coefficients by applying a transform technique to the residual signal. For example, the transform technique may include at least one of a discrete cosine transform (DCT), a discrete sine transform (DST), a Karhunen-Loeve transform (KLT), a graph-based transform (GBT), or a conditionally non-linear transform (CNT). Here, the GBT refers transform obtained from a graph when relationship information between pixels is represented by the graph. The CNT refers to transform obtained based on a prediction signal generated using all previously reconstructed pixels. In addition, the transform process may be applied to square pixel blocks having the same size or may be applied to blocks having a variable size rather than the square one.

The quantizer 133 may quantize the transform coefficients and transmit them to the entropy encoder 140, and the entropy encoder 140 may encode the quantized signal (information on the quantized transform coefficients) and output the encoded signal in a bitstream. The information on the quantized transform coefficients may be referred to as residual information. The quantizer 133 may rearrange block type quantized transform coefficients into a one-dimensional vector form based on a coefficient scan order, and generate information on the quantized transform coefficients based on the quantized transform coefficients of the one-dimensional vector form. The entropy encoder 140 may perform various encoding methods such as, for example, exponential Golomb, context-adaptive variable length coding (CAVLC), context-adaptive binary arithmetic coding (CABAC), and the like. The entropy encoder 140 may encode information necessary for video/image reconstruction other than quantized transform coefficients (e.g., values of syntax elements, etc.) together or separately. Encoded information (e.g., encoded video/image information) may be transmitted or stored on a unit basis of a network abstraction layer (NAL) in the form of a bitstream. The video/image information may further include information on various parameter sets such as an adaptation parameter set (APS), a picture parameter set (PPS), a sequence parameter set (SPS), a video parameter set (VPS) or the like. Further, the video/image information may further include general constraint information. In the present disclosure, information and/or syntax elements which are transmitted/signaled to the decoding apparatus from the encoding apparatus may be included in video/image information. The video/image information may be encoded through the above-described encoding procedure and included in the bitstream. The bitstream may be transmitted through a network, or stored in a digital storage medium. Here, the network may include a broadcast network, a communication network and/or the like, and the digital storage medium may include various storage media such as USB, SD, CD, DVD, Blu-ray, HDD, SSD, and the like. A transmitter (not shown) which transmits a signal output from the entropy encoder 140 and/or a storage (not shown) which stores it may be configured as an internal/external element of the encoding apparatus 100, or the transmitter may be included in the entropy encoder 140.

Quantized transform coefficients output from the quantizer 133 may be used to generate a prediction signal. For example, by applying dequantization and inverse transform to quantized transform coefficients through the dequantizer 134 and the inverse transformer 135, the residual signal (residual block or residual samples) may be reconstructed. The adder 155 adds the reconstructed residual signal to a prediction signal output from the inter predictor 121 or the intra predictor 122, so that a reconstructed signal (reconstructed picture, reconstructed block, reconstructed sample array) may be generated. When there is no residual for a processing target block as in a case where a skip mode is applied, the predicted block may be used as a reconstructed block. The adder 150 may be called a reconstructor or a reconstructed block generator. The generated reconstructed signal may be used for intra prediction of a next processing target block in the current picture, and as described later, may be used for inter prediction of a next picture through filtering.

Meanwhile, in the picture encoding and/or reconstructing process, luma mapping with chroma scaling (LMCS) may be applied.

The filter 160 may improve subjective/objective video quality by applying the filtering to the reconstructed signal. For example, the filter 160 may generate a modified reconstructed picture by applying various filtering methods to the reconstructed picture, and may store the modified reconstructed picture in the memory 170, specifically in the DPB of the memory 170. The various filtering methods may include, for example, deblocking filtering, sample adaptive offset, an adaptive loop filter, a bilateral filter or the like. As discussed later in the description of each filtering method, the filter 160 may generate various information relating to filtering, and transmit the generated information to the entropy encoder 140. The information on the filtering may be encoded in the entropy encoder 140 and output in the form of a bitstream.

The modified reconstructed picture which has been transmitted to the memory 170 may be used as a reference picture in the inter predictor 121. Through this, the encoding apparatus can avoid prediction mismatch in the encoding apparatus 100 and a decoding apparatus when the inter prediction is applied, and can also improve coding efficiency.

The memory 170 DPB may store the modified reconstructed picture in order to use it as a reference picture in the inter predictor 121. The memory 170 may store motion information of a block in the current picture, from which motion information has been derived (or encoded) and/or motion information of blocks in an already reconstructed picture. The stored motion information may be transmitted to the inter predictor 121 to be utilized as motion information of a neighboring block or motion information of a temporal neighboring block. The memory 170 may store reconstructed samples of reconstructed blocks in the current picture, and transmit them to the intra predictor 122.

FIG. 2 is a diagram schematically illustrating a configuration of a video/image decoding apparatus to which embodiments of the present disclosure is applicable.

Referring to FIG. 2 , the video decoding apparatus 200 may include an entropy decoder 210, a residual processor 220, a predictor 230, an adder 240, a filter 250 and a memory 260. The predictor 230 may include an inter predictor 231 and an intra predictor 232. The residual processor 220 may include a dequantizer 221 and an inverse transformer 221. The entropy decoder 210, the residual processor 220, the predictor 230, the adder 240, and the filter 250, which have been described above, may be constituted by one or more hardware components (e.g., decoder chipsets or processors) according to an embodiment. Further, the memory 260 may include a decoded picture buffer (DPB), and may be constituted by a digital storage medium. The hardware component may further include the memory 260 as an internal/external component.

When a bitstream including video/image information is input, the decoding apparatus 200 may reconstruct an image correspondingly to a process by which video/image information has been processed in the encoding apparatus of FIG. 1 . For example, the decoding apparatus 200 may derive units/blocks based on information relating to block partition obtained from the bitstream. The decoding apparatus 200 may perform decoding by using a processing unit applied in the encoding apparatus. Therefore, the processing unit of decoding may be, for example, a coding unit, which may be partitioned along the quad-tree structure, the binary-tree structure, and/or the ternary-tree structure from a coding tree unit or a largest coding unit. One or more transform units may be derived from the coding unit. And, the reconstructed image signal decoded and output through the decoding apparatus 200 may be reproduced through a reproducer.

The decoding apparatus 200 may receive a signal output from the encoding apparatus of FIG. 1 in the form of a bitstream, and the received signal may be decoded through the entropy decoder 210. For example, the entropy decoder 310 may parse the bitstream to derive information (e.g., video/image information) required for image reconstruction (or picture reconstruction). The video/image information may further include information on various parameter sets such as an adaptation parameter set (APS), a picture parameter set (PPS), a sequence parameter set (SPS), a video parameter set (VPS) or the like. Further, the video/image information may further include general constraint information. The decoding apparatus may decode a picture further based on information on the parameter set and/or the general constraint information. In the present disclosure, signaled/received information and/or syntax elements, which will be described later, may be decoded through the decoding procedure and be obtained from the bitstream. For example, the entropy decoder 210 may decode information in the bitstream based on a coding method such as exponential Golomb encoding, CAVLC, CABAC, or the like, and may output a value of a syntax element necessary for image reconstruction and quantized values of a transform coefficient regarding a residual. More specifically, a CABAC entropy decoding method may receive a bin corresponding to each syntax element in a bitstream, determine a context model using decoding target syntax element information and decoding information of neighboring and decoding target blocks, or information of symbol/bin decoded in a previous step, predict bin generation probability according to the determined context model and perform arithmetic decoding of the bin to generate a symbol corresponding to each syntax element value. Here, the CABAC entropy decoding method may update the context model using information of a symbol/bin decoded for a context model of the next symbol/bin after determination of the context model. Information on prediction among information decoded in the entropy decoder 210 may be provided to the predictor (inter predictor 232 and intra predictor 231), and residual values, that is, quantized transform coefficients, on which entropy decoding has been performed in the entropy decoder 210, and associated parameter information may be input to the residual processor 220. The residual processor 220 may derive a residual signal (residual block, residual samples, residual sample array). Further, information on filtering among information decoded in the entropy decoder 210 may be provided to the filter 250. Meanwhile, a receiver (not shown) which receives a signal output from the encoding apparatus may further constitute the decoding apparatus 200 as an internal/external element, and the receiver may be a component of the entropy decoder 210. Meanwhile, the decoding apparatus according to the present disclosure may be called a video/image/picture coding apparatus, and the decoding apparatus may be classified into an information decoder (video/image/picture information decoder) and a sample decoder (video/image/picture sample decoder). The information decoder may include the entropy decoder 210, and the sample decoder may include at least one of the dequantizer 221, the inverse transformer 322, the adder 240, the filter 250, the memory 260, the inter predictor 232, and the intra predictor 231.

The dequantizer 221 may output transform coefficients by dequantizing the quantized transform coefficients. The dequantizer 221 may rearrange the quantized transform coefficients in the form of a two-dimensional block. In this case, the rearrangement may perform rearrangement based on an order of coefficient scanning which has been performed in the encoding apparatus. The dequantizer 221 may perform dequantization on the quantized transform coefficients using quantization parameter (e.g., quantization step size information), and obtain transform coefficients.

The deqauntizer 222 obtains a residual signal (residual block, residual sample array) by inverse transforming transform coefficients.

The predictor may perform prediction on the current block, and generate a predicted block including prediction samples for the current block. The predictor may determine whether intra prediction or inter prediction is applied to the current block based on the information on prediction output from the entropy decoder 210, and specifically may determine an intra/inter prediction mode.

The predictor 220 may generate a prediction signal based on various prediction methods. For example, the predictor may apply intra prediction or inter prediction for prediction on one block, and, as well, may apply intra prediction and inter prediction at the same time. This may be called combined inter and intra prediction (CIIP). In addition, the predictor may be based on intra block copy (IBC) prediction mode or palette mode for prediction on a block. The IBC prediction mode or the palette mode may be used for content image/video coding of a game or the like, such as screen content coding (SCC). Although the IBC basically performs prediction in a current block, it can be performed similarly to inter prediction in that it derives a reference block in a current block. That is, the IBC may use at least one of inter prediction techniques described in the present disclosure. The palette mode may be viewed as an example of intra coding or intra prediction. When the palette mode is applied, a sample value in a picture may be signaled based on information about a palette table and a palette index.

The intra predictor 231 may predict the current block by referring to the samples in the current picture. The referred samples may be located in the neighbor of or apart from the current block according to the prediction mode. In the intra prediction, prediction modes may include a plurality of non-directional modes and a plurality of directional modes. The intra predictor 231 may determine the prediction mode applied to the current block by using the prediction mode applied to the neighboring block.

The inter predictor 232 may derive a predicted block for the current block based on a reference block (reference sample array) specified by a motion vector on a reference picture. At this time, in order to reduce the amount of motion information transmitted in the inter prediction mode, the motion information may be predicted on a block, subblock, or sample basis based on correlation of motion information between the neighboring block and the current block. The motion information may include a motion vector and a reference picture index. The motion information may further include inter prediction direction (L0 prediction, L1 prediction, Bi prediction, etc.) information. In the case of inter prediction, the neighboring block may include a spatial neighboring block existing in the current picture and a temporal neighboring block existing in the reference picture. For example, the inter predictor 232 may configure a motion information candidate list based on neighboring blocks, and derive a motion vector and/or a reference picture index of the current block based on received candidate selection information. Inter prediction may be performed based on various prediction modes, and the information on prediction may include information indicating a mode of inter prediction for the current block.

The adder 240 may generate a reconstructed signal (reconstructed picture, reconstructed block, reconstructed sample array) by adding the obtained residual signal to the prediction signal (predicted block, prediction sample array) output from the predictor (comprising inter predictior 232 and/or intra predictor 231). When there is no residual for a processing target block as in a case where the skip mode is applied, the predicted block may be used as a reconstructed block.

The adder 240 may be called a reconstructor or a reconstructed block generator. The generated reconstructed signal may be used for intra prediction of a next processing target block in the current block, and as described later, may be output through filtering or be used for inter prediction of a next picture.

Meanwhile, in the picture decoding process, luma mapping with chroma scaling (LMCS) may be applied.

The filter 250 may improve subjective/objective video quality by applying the filtering to the reconstructed signal. For example, the filter 250 may generate a modified reconstructed picture by applying various filtering methods to the reconstructed picture, and may transmit the modified reconstructed picture in the memory 260, specifically in the DPB of the memory 260. The various filtering methods may include, for example, deblocking filtering, sample adaptive offset, an adaptive loop filter, a bilateral filter or the like.

The (modified) reconstructed picture which has been stored in the DPB of the memory 260 may be used as a reference picture in the inter predictor 232. The memory 260 may store motion information of a block in the current picture, from which motion information has been derived (or decoded) and/or motion information of blocks in an already reconstructed picture. The stored motion information may be transmitted to the inter predictor 260 to be utilized as motion information of a neighboring block or motion information of a temporal neighboring block. The memory 260 may store reconstructed samples of reconstructed blocks in the current picture, and transmit them to the intra predictor 231.

In this specification, the examples described in the filter 160, the inter predictor 121 and intra predictor 122 of the encoding apparatus 100 may be similarly or correspondingly applied to the filter 250, the inter predictor 232 and intra predictor 231 of the decoding apparatus 200, respectively.

As described above, prediction is performed in order to increase compression efficiency in performing video coding. Through this, a predicted block including prediction samples for a current block, which is a coding target block, may be generated. Here, the predicted block includes prediction samples in a space domain (or pixel domain).The predicted block may be identically derived in the encoding apparatus and the decoding apparatus, and the encoding apparatus may increase image coding efficiency by signaling to the decoding apparatus not original sample value of an original block itself but information on residual (residual information) between the original block and the predicted block. The decoding apparatus may derive a residual block including residual samples based on the residual information, generate a reconstructed block including reconstructed samples by adding the residual block to the predicted block, and generate a reconstructed picture including reconstructed blocks.

The residual information may be generated through transform and quantization procedures. For example, the encoding apparatus may derive a residual block between the original block and the predicted block, derive transform coefficients by performing a transform procedure on residual samples (residual sample array) included in the residual block, and derive quantized transform coefficients by performing a quantization procedure on the transform coefficients, so that it may signal associated residual information to the decoding apparatus (through a bitstream). Here, the residual information may include value information, position information, a transform technique, transform kernel, a quantization parameter or the like of the quantized transform coefficients. The decoding apparatus may perform a quantization/dequantization procedure and derive the residual samples (or residual sample block), based on residual information. The decoding apparatus may generate a reconstructed block based on a predicted block and the residual block. The encoding apparatus may derive a residual block by dequantizing/inverse transforming quantized transform coefficients for reference for inter prediction of a next picture, and may generate a reconstructed picture based on this.

FIG. 3 schematically illustrates a multiple transform technique according to an embodiment of the present disclosure.

Referring to FIG. 3 , a transformer may correspond to the transformer in the foregoing encoding apparatus of FIG. 1 , and an inverse transformer may correspond to the inverse transformer in the foregoing encoding apparatus of FIG. 1 , or to the inverse transformer in the decoding apparatus of FIG. 2 .

The transformer may derive (primary) transform coefficients by performing a primary transform based on residual samples (residual sample array) in a residual block (S310). This primary transform may be referred to as a core transform. Herein, the primary transform may be based on multiple transform selection (MTS), and when a multiple transform is applied as the primary transform, it may be referred to as a multiple core transform.

The multiple core transform may represent a method of transforming additionally using discrete cosine transform (DCT) type 2 and discrete sine transform (DST) type 7, DCT type 8, and/or DST type 1. That is, the multiple core transform may represent a transform method of transforming a residual signal (or residual block) of a space domain into transform coefficients (or primary transform coefficients) of a frequency domain based on a plurality of transform kernels selected from among the DCT type 2, the DST type 7, the DCT type 8 and the DST type 1. Herein, the primary transform coefficients may be called temporary transform coefficients from the viewpoint of the transformer.

That is, when the conventional transform method is applied, transform coefficients may be generated by applying transform from a space domain to a frequency domain to a residual signal (or residual block) based on DCT type 2. However, when the multiple core transform is applied, transform coefficients (or primary transform coefficients) may be generated by applying transform from a space domain to a frequency domain to a residual signal (or residual block) based on DCT type 2, DST type 7, DCT type 8, and/or DST type 1. Here, DCT type 2, DST type 7, DCT type 8, and DST type 1 may be referred to as transform types, transform kernels, or transform cores. These DCT/DST types may be defined based on basis functions.

If the multiple core transform is performed, then a vertical transform kernel and a horizontal transform kernel for a target block may be selected from among the transform kernels, a vertical transform for the target block may be performed based on the vertical transform kernel, and a horizontal transform for the target block may be performed based on the horizontal transform kernel. Here, the horizontal transform may represent a transform for horizontal components of the target block, and the vertical transform may represent a transform for vertical components of the target block. The vertical transform kernel/horizontal transform kernel may be adaptively determined based on a prediction mode and/or a transform index of a target block (CU or sub-block) including a residual block.

Further, according to an example, if the primary transform is performed by applying the MTS, a mapping relationship for transform kernels may be set by setting specific basis functions to predetermined values and combining basis functions to be applied in the vertical transform or the horizontal transform. For example, when the horizontal transform kernel is expressed as trTypeHor and the vertical direction transform kernel is expressed as trTypeVer, a trTypeHor or trTypeVer value of 0 may be set to DCT2, a trTypeHor or trTypeVer value of 1 may be set to DST-7, and a trTypeHor or trTypeVer value of 2 may be set to DCT-8.

In this case, MTS index information may be encoded and signaled to the decoding apparatus to indicate any one of a plurality of transform kernel sets. For example, an MTS index of 0 may indicate that both trTypeHor and trTypeVer values are 0, an MTS index of 1 may indicate that both trTypeHor and trTypeVer values are 1, an MTS index of 2 may indicate that the trTypeHor value is 2 and the trTypeVer value. Is 1, an MTS index of 3 may indicate that the trTypeHor value is 1 and the trTypeVer value is 2, and an MTS index of 4 may indicate that both both trTypeHor and trTypeVer values are 2.

In one example, transform kernel sets according to MTS index information are illustrated in the following table.

TABLE 1 tu_mts_idx[ x0 ][y0 ] 0 1 2 3 4 trTypeHor 0 1 2 1 2 trTypeVer 0 1 1 2 2

The transformer may derive modified (secondary) transform coefficients by performing the secondary transform based on the (primary) transform coefficients (S520). The primary transform is a transform from a spatial domain to a frequency domain, and the secondary transform refers to transforming into a more compressive expression by using a correlation existing between (primary) transform coefficients. The secondary transform may include a non-separable transform. In this case, the secondary transform may be called a non-separable secondary transform (NSST), or a mode-dependent non-separable secondary transform (MDNSST). The non-separable secondary transform may represent a transform which generates modified transform coefficients (or secondary transform coefficients) for a residual signal by secondary-transform, based on a non-separable transform matrix, (primary) transform coefficients derived through the primary transform. At this time, the vertical transform and the horizontal transform may not be applied separately (or horizontal and vertical transforms may not be applied independently) to the (primary) transform coefficients, but the transforms may be applied at once based on the non-separable transform matrix. In other words, the non-separable secondary transform may represent a transform method in which is not separately applied in the vertical direction and the horizontal direction for the (primary) transform coefficients, and for example, two-dimensional signals (transform coefficients) are re-arranged to a one-dimensional signal through a certain determined direction (e.g., row-first direction or column-first direction), and then modified transform coefficients (or secondary transform coefficients) are generated based on the non-separable transform matrix. For example, according to a row-first order, M×N blocks are disposed in a line in an order of a first row, a second row, . . . , and an Nth row. According to a column-first order, M×N blocks are disposed in a line in an order of a first column, a second column, . . . , and an Nth column. The non-separable secondary transform may be applied to a top-left region of a block configured with (primary) transform coefficients (hereinafter, may be referred to as a transform coefficient block). For example, if the width (W) and the height (H) of the transform coefficient block are all equal to or greater than 8, an 8×8 non-separable secondary transform may be applied to a top-left 8×8 region of the transform coefficient block. Further, if the width (W) and the height (H) of the transform coefficient block are all equal to or greater than 4, and the width (W) or the height (H) of the transform coefficient block is less than 8, then a 4×4 non-separable secondary transform may be applied to a top-left min(8,W)×min(8,H) region of the transform coefficient block. However, the embodiment is not limited to this, and for example, even if only the condition that the width (W) or height (H) of the transform coefficient block is equal to or greater than 4 is satisfied, the 4×4 non-separable secondary transform may be applied to the top-left min(8,W)xmin(8,H) region of the transform coefficient block.

Specifically, for example, if a 4×4 input block is used, the non-separable secondary transform may be performed as follows.

The 4×4 input block X may be represented as follows.

$\begin{matrix} {X = \begin{bmatrix} X_{00} & X_{01} & X_{02} & X_{03} \\ X_{10} & X_{11} & X_{12} & X_{13} \\ X_{20} & X_{21} & X_{22} & X_{23} \\ X_{30} & X_{31} & X_{32} & X_{33} \end{bmatrix}} & \left\lbrack {{Equation}1} \right\rbrack \end{matrix}$

If the X is represented in the form of a vector, the vector

may be represented as below.

=[X₀₀ X₀₁ X₀₂ X₀₃ X₁₀ X₁₁ X₁₂ X₁₃ X₂₀ X₂₁ X₂₂ X₂₃ X₃₀ X₃₁ X₃₂ X₃₃]^(T)   [Equation 2]

In Equation 2, the vector

is a one-dimensional vector obtained by rearranging the two-dimensional block X of Equation 1 according to the row-first order.

In this case, the secondary non-separable transform may be calculated as below.

=T·

In this equation,

represents a transform coefficient vector, and T represents a 16×16 (non-separable) transform matrix.

Through foregoing Equation 3, a 16×1 transform coefficient vector

may be derived, and the

may be re-organized into a 4×4 block through a scan order (horizontal, vertical, diagonal and the like). However, the above-described calculation is an example, and hypercube-Givens transform (HyGT) or the like may be used for the calculation of the non-separable secondary transform in order to reduce the computational complexity of the non-separable secondary transform.

Meanwhile, in the non-separable secondary transform, a transform kernel (or transform core, transform type) may be selected to be mode dependent. In this case, the mode may include the intra prediction mode and/or the inter prediction mode.

As described above, the non-separable secondary transform may be performed based on an 8×8 transform or a 4×4 transform determined based on the width (W) and the height (H) of the transform coefficient block. The 8×8 transform refers to a transform that is applicable to an 8×8 region included in the transform coefficient block when both W and H are equal to or greater than 8, and the 8×8 region may be a top-left 8×8 region in the transform coefficient block. Similarly, the 4×4 transform refers to a transform that is applicable to a 4×4 region included in the transform coefficient block when both W and H are equal to or greater than 4, and the 4×4 region may be a top-left 4×4 region in the transform coefficient block. For example, an 8×8 transform kernel matrix may be a 64×64/16×64 matrix, and a 4×4 transform kernel matrix may be a 16×16/8×16 matrix.

Here, to select a mode-dependent transform kernel, two non-separable secondary transform kernels per transform set for a non-separable secondary transform may be configured for both the 8×8 transform and the 4×4 transform, and there may be four transform sets. That is, four transform sets may be configured for the 8×8 transform, and four transform sets may be configured for the 4×4 transform. In this case, each of the four transform sets for the 8×8 transform may include two 8×8 transform kernels, and each of the four transform sets for the 4×4 transform may include two 4×4 transform kernels.

However, as the size of the transform, that is, the size of a region to which the transform is applied, may be, for example, a size other than 8×8 or 4×4, the number of sets may be n, and the number of transform kernels in each set may be k.

The transform set may be referred to as an NSST set or an LFNST set. A specific set among the transform sets may be selected, for example, based on the intra prediction mode of the current block (CU or subblock). A low-frequency non-separable transform (LFNST) may be an example of a reduced non-separable transform, which will be described later, and represents a non-separable transform for a low frequency component.

For reference, for example, the intra prediction mode may include two non-directional (or non-angular) intra prediction modes and 65 directional (or angular) intra prediction modes. The non-directional intra prediction modes may include a planar intra prediction mode of No. 0 and a DC intra prediction mode of No. 1, and the directional intra prediction modes may include 65 intra prediction modes of Nos. 2 to 66. However, this is an example, and this document may be applied even when the number of intra prediction modes is different. Meanwhile, in some cases, intra prediction mode No. 67 may be further used, and the intra prediction mode No. 67 may represent a linear model (LM) mode.

FIG. 4 exemplarily shows intra directional modes of 65 prediction directions.

Referring to FIG. 4 , on the basis of intra prediction mode 34 having a left upward diagonal prediction direction, the intra prediction modes may be divided into intra prediction modes having horizontal directionality and intra prediction modes having vertical directionality. In FIG. 4 , H and V denote horizontal directionality and vertical directionality, respectively, and numerals −32 to 32 indicate displacements in 1/32 units on a sample grid position. These numerals may represent an offset for a mode index value. Intra prediction modes 2 to 33 have the horizontal directionality, and intra prediction modes 34 to 66 ave the vertical directionality. Strictly speaking, intra prediction mode 34 may be considered as being neither horizontal nor vertical, but may be classified as belonging to the horizontal directionality in determining a transform set of a secondary transform. This is because input data is transposed to be used for a vertical direction mode symmetrical on the basis of intra prediction mode 34, and an input data alignment method for a horizontal mode is used for intra prediction mode 34. Transposing input data means that rows and columns of two-dimensional M×N block data are switched into N×M data. Intra prediction mode 18 and intra prediction mode 50 may represent a horizontal intra prediction mode and a vertical intra prediction mode, respectively, and intra prediction mode 2 may be referred to as a right upward diagonal intra prediction mode because intra prediction mode 2 has a left reference pixel and performs prediction in a right upward direction. Likewise, intra prediction mode 34 may be referred to as a right downward diagonal intra prediction mode, and intra prediction mode 66 may be referred to as a left downward diagonal intra prediction mode.

According to an example, the four transform sets according to the intra prediction mode may be mapped, for example, as shown in the following table.

TABLE 2 predModeIntra lfnstTrSetIdx predModeIntra < 0 1  0 <= predModeIntra <= 1 0  2 <= predModeIntra <= 12 1 13 <= predModeIntra <= 23 2 24 <= predModeIntra <= 44 3 45 <= predModeIntra <= 55 2 56 <= predModeIntra <= 80 1

As shown in Table 2, any one of the four transform sets, that is, lfnstTrSetIdx, may be mapped to any one of four indexes, that is, 0 to 3, according to the intra prediction mode.

When it is determined that a specific set is used for the non-separable transform, one of k transform kernels in the specific set may be selected through a non-separable secondary transform index. An encoding apparatus may derive a non-separable secondary transform index indicating a specific transform kernel based on a rate-distortion (RD) check and may signal the non-separable secondary transform index to a decoding apparatus. The decoding apparatus may select one of the k transform kernels in the specific set based on the non-separable secondary transform index. For example, lfnst index value 0 may refer to a first non-separable secondary transform kernel, lfnst index value 1 may refer to a second non-separable secondary transform kernel, and lfnst index value 2 may refer to a third non-separable secondary transform kernel. Alternatively, lfnst index value 0 may indicate that the first non-separable secondary transform is not applied to the target block, and lfnst index values 1 to 3 may indicate the three transform kernels.

The transformer may perform the non-separable secondary transform based on the selected transform kernels, and may obtain modified (secondary) transform coefficients. As described above, the modified transform coefficients may be derived as transform coefficients quantized through the quantizer, and may be encoded and signaled to the decoding apparatus and transferred to the dequantizer/inverse transformer in the encoding apparatus.

Meanwhile, as described above, if the secondary transform is omitted, (primary) transform coefficients, which are an output of the primary (separable) transform, may be derived as transform coefficients quantized through the quantizer as described above, and may be encoded and signaled to the decoding apparatus and transferred to the dequantizer/inverse transformer in the encoding apparatus.

The inverse transformer may perform a series of procedures in the inverse order to that in which they have been performed in the above-described transformer. The inverse transformer may receive (dequantized) transformer coefficients, and derive (primary) transform coefficients by performing a secondary (inverse) transform (S350), and may obtain a residual block (residual samples) by performing a primary (inverse) transform on the (primary) transform coefficients (S360). In this connection, the primary transform coefficients may be called modified transform coefficients from the viewpoint of the inverse transformer. As described above, the encoding apparatus and the decoding apparatus may generate the reconstructed block based on the residual block and the predicted block, and may generate the reconstructed picture based on the reconstructed block.

The decoding apparatus may further include a secondary inverse transform application determinator (or an element to determine whether to apply a secondary inverse transform) and a secondary inverse transform determinator (or an element to determine a secondary inverse transform). The secondary inverse transform application determinator may determine whether to apply a secondary inverse transform. For example, the secondary inverse transform may be an NSST, an RST, or an LFNST and the secondary inverse transform application determinator may determine whether to apply the secondary inverse transform based on a secondary transform flag obtained by parsing the bitstream. In another example, the secondary inverse transform application determinator may determine whether to apply the secondary inverse transform based on a transform coefficient of a residual block.

The secondary inverse transform determinator may determine a secondary inverse transform. In this case, the secondary inverse transform determinator may determine the secondary inverse transform applied to the current block based on an LFNST (NSST or RST) transform set specified according to an intra prediction mode. In an embodiment, a secondary transform determination method may be determined depending on a primary transform determination method. Various combinations of primary transforms and secondary transforms may be determined according to the intra prediction mode. Further, in an example, the secondary inverse transform determinator may determine a region to which a secondary inverse transform is applied based on the size of the current block.

Meanwhile, as described above, if the secondary (inverse) transform is omitted, (dequantized) transform coefficients may be received, the primary (separable) inverse transform may be performed, and the residual block (residual samples) may be obtained. As described above, the encoding apparatus and the decoding apparatus may generate the reconstructed block based on the residual block and the predicted block, and may generate the reconstructed picture based on the reconstructed block.

Meanwhile, in the present disclosure, a reduced secondary transform (RST) in which the size of a transform matrix (kernel) is reduced may be applied in the concept of NSST in order to reduce the amount of computation and memory required for the non-separable secondary transform.

Meanwhile, the transform kernel, the transform matrix, and the coefficient constituting the transform kernel matrix, that is, the kernel coefficient or the matrix coefficient, described in the present disclosure may be expressed in 8 bits. This may be a condition for implementation in the decoding apparatus and the encoding apparatus, and may reduce the amount of memory required to store the transform kernel with a performance degradation that can be reasonably accommodated compared to the existing 9 bits or 10 bits. In addition, the expressing of the kernel matrix in 8 bits may allow a small multiplier to be used, and may be more suitable for single instruction multiple data (SIMD) instructions used for optimal software implementation.

In the present specification, the term “RST” may mean a transform which is performed on residual samples for a target block based on a transform matrix whose size is reduced according to a reduced factor. In the case of performing the reduced transform, the amount of computation required for transform may be reduced due to a reduction in the size of the transform matrix. That is, the RST may be used to address the computational complexity issue occurring at the non-separable transform or the transform of a block of a great size.

RST may be referred to as various terms, such as reduced transform, reduced secondary transform, reduction transform, simplified transform, simple transform, and the like, and the name which RST may be referred to as is not limited to the listed examples. Alternatively, ince the RST is mainly performed in a low frequency region including a non-zero coefficient in a transform block, it may be referred to as a Low-Frequency Non-Separable Transform (LFNST). The transform index may be referred to as an LFNST index.

Meanwhile, when the secondary inverse transform is performed based on RST, the inverse transformer 135 of the encoding apparatus 100 and the inverse transformer 222 of the decoding apparatus 200 may include an inverse reduced secondary transformer which derives modified transform coefficients based on the inverse RST of the transform coefficients, and an inverse primary transformer which derives residual samples for the target block based on the inverse primary transform for the modified transform coefficients. The inverse primary transform refers to the inverse transform of the primary transform applied to the residual. In the present disclosure, deriving a transform coefficient based on a transform may refer to deriving a transform coefficient by applying the transform.

FIG. 5 is a diagram illustrating an RST according to an embodiment of the present disclosure.

In the present disclosure, a “target block” may refer to a current block to be coded, a residual block, or a transform block.

In the RST according to an example, an N-dimensional vector may be mapped to an R-dimensional vector located in another space, so that the reduced transform matrix may be determined, where R is less than N. N may mean the square of the length of a side of a block to which the transform is applied, or the total number of transform coefficients corresponding to a block to which the transform is applied, and the reduced factor may mean an R/N value. The reduced factor may be referred to as a reduced factor, reduction factor, simplified factor, simple factor or other various terms. Meanwhile, R may be referred to as a reduced coefficient, but according to circumstances, the reduced factor may mean R. Further, according to circumstances, the reduced factor may mean the N/R value.

In an example, the reduced factor or the reduced coefficient may be signaled through a bitstream, but the example is not limited to this. For example, a predefined value for the reduced factor or the reduced coefficient may be stored in each of the encoding apparatus 100 and the decoding apparatus 200, and in this case, the reduced factor or the reduced coefficient may not be signaled separately.

The size of the reduced transform matrix according to an example may be R×N less than N×N, the size of a conventional transform matrix, and may be defined as in Equation 4 below.

$\begin{matrix} {T_{R \times N} = \begin{bmatrix} t_{11} & t_{12} & t_{13} & \ldots & t_{1N} \\ t_{21} & t_{22} & t_{23} & & t_{2N} \\  & \vdots & & \ddots & \vdots \\ t_{R1} & t_{R2} & t_{R3} & \ldots & t_{RN} \end{bmatrix}} & \left\lbrack {{Equation}4} \right\rbrack \end{matrix}$

The matrix T in the Reduced Transform block shown in FIG. 5(a) may mean the matrix T_(R×N) of Equation 4. As shown in FIG. 5(a), when the reduced transform matrix T_(R×N) is multiplied to residual samples for the target block, transform coefficients for the target block may be derived.

In an example, if the size of the block to which the transform is applied is 8×8 and R=16 (i.e., R/N= 16/64=¼), then the RST according to FIG. 5(a) may be expressed as a matrix operation as shown in Equation 5 below. In this case, memory and multiplication calculation can be reduced to approximately ¼ by the reduced factor.

In the present disclosure, a matrix operation may be understood as an operation of multiplying a column vector by a matrix, disposed on the left of the column vector, to obtain a column vector.

$\begin{matrix} {\begin{bmatrix} t_{1,1} & t_{1,2} & t_{1,3} & \ldots & t_{1,64} \\ t_{2,1} & t_{2,2} & t_{2,3} & & t_{2,64} \\  & \vdots & & \ddots & \vdots \\ t_{16,1} & t_{16,2} & t_{16,3} & \ldots & t_{16,64} \end{bmatrix} \times \begin{bmatrix} r_{1} \\ r_{2} \\  \vdots \\  \vdots \\  \vdots \\ r_{64} \end{bmatrix}} & \left\lbrack {{Equation}5} \right\rbrack \end{matrix}$

In Equation 5, r₁ to r₆₄ may represent residual samples for the target block and may be specifically transform coefficients generated by applying a primary transform. As a result of the calculation of Equation 5 transform coefficients c_(i) for the target block may be derived, and a process of deriving c_(I) may be as in Equation 6.

[Equation 6] for i from 1 to R:  c_(i) = 0  for j from 1 to N:   c_(i) + = t_(i,j) * r_(j)

As a result of the calculation of Equation 6, transform coefficients c₁ to c_(R) for the target block may be derived. That is, when R=16, transform coefficients c_(l) to c₁₆ for the target block may be derived. If, instead of RST, a regular transform is applied and a transform matrix of 64×64 (N×N) size is multiplied to residual samples of 64×1 (N×1) size, then only 16 (R) transform coefficients are derived for the target block because RST was applied, although 64 (N) transform coefficients are derived for the target block. Since the total number of transform coefficients for the target block is reduced from N to R, the amount of data transmitted by the encoding apparatus 100 to the decoding apparatus 200 decreases, so efficiency of transmission between the encoding apparatus 100 and the decoding apparatus 200 can be improved.

When considered from the viewpoint of the size of the transform matrix, the size of the regular transform matrix is 64×64 (N×N), but the size of the reduced transform matrix is reduced to 16×64 (R×N), so memory usage in a case of performing the RST can be reduced by an R/N ratio when compared with a case of performing the regular transform. In addition, when compared to the number of multiplication calculations N×N in a case of using the regular transform matrix, the use of the reduced transform matrix can reduce the number of multiplication calculations by the R/N ratio (R×N).

In an example, the transformer 132 of the encoding apparatus 100 may derive transform coefficients for the target block by performing the primary transform and the RST-based secondary transform on residual samples for the target block. These transform coefficients may be transferred to the inverse transformer of the decoding apparatus 200, and the inverse transformer 222 of the decoding apparatus 200 may derive the modified transform coefficients based on the inverse reduced secondary transform (RST) for the transform coefficients, and may derive residual samples for the target block based on the inverse primary transform for the modified transform coefficients.

The size of the inverse RST matrix TN×R according to an example is N×R less than the size N×N of the regular inverse transform matrix, and is in a transpose relationship with the reduced transform matrix TR×N shown in Equation 4.

The matrix T^(t) in the Reduced Inv. Transform block shown in FIG. 5(b) may mean the inverse RST matrix T_(R×N) ^(T) (the superscript T means transpose). When the inverse RST matrix T_(R×N) ^(T) is multiplied to the transform coefficients for the target block as shown in FIG. 5(b), the modified transform coefficients for the target block or the residual samples for the current block may be derived. The inverse RST matrix T_(R×N) ^(T) may be expressed as (T_(R×N))^(T) _(N×R).

More specifically, when the inverse RST is applied as the secondary inverse transform, the modified transform coefficients for the target block may be derived when the inverse RST matrix T_(R×N) ^(T) is multiplied to the transform coefficients for the target block. Meanwhile, the inverse RST may be applied as the inverse primary transform, and in this case, the residual samples for the target block may be derived when the inverse RST matrix T_(R×N) ^(T) is multiplied to the transform coefficients for the target block.

In an example, if the size of the block to which the inverse transform is applied is 8×8 and R=16 (i.e., R/N=16/64=1/4), then the RST according to FIG. 5(b) may be expressed as a matrix operation as shown in Equation 7 below.

$\begin{matrix} {\begin{bmatrix} \begin{matrix} t_{1,1} & t_{2,1} \end{matrix} & & t_{16,1} \\ \begin{matrix} t_{1,2} & t_{2,2} \end{matrix} & \ldots & t_{16,2} \\ \begin{matrix} t_{1,3} & t_{2,3} \end{matrix} & & t_{16,3} \\  \vdots & \ddots & \vdots \\ \begin{matrix} t_{1,64} & t_{2,64} \end{matrix} & \ldots & t_{16,64} \end{bmatrix} \times \begin{bmatrix} c_{1} \\ c_{2} \\  \vdots \\ c_{16} \end{bmatrix}} & \left\lbrack {{Equation}7} \right\rbrack \end{matrix}$

In Equation 7, c₁ to c₁₆ may represent the transform coefficients for the target block. As a result of the calculation of Equation 7, r_(i) representing the modified transform coefficients for the target block or the residual samples for the target block may be derived, and the process of deriving r_(i) may be as in Equation 8.

[Equation 8] For i from 1 to N  r_(i)=0   for j from 1 to R    r_(i) + =t_(ji) * c_(j)

As a result of the calculation of Equation 8, r₁ to r_(N) representing the modified transform coefficients for the target block or the residual samples for the target block may be derived. When considered from the viewpoint of the size of the inverse transform matrix, the size of the regular inverse transform matrix is 64×64 (N×N), but the size of the reduced inverse transform matrix is reduced to 64×16 (R×N), so memory usage in a case of performing the inverse RST can be reduced by an R/N ratio when compared with a case of performing the regular inverse transform. In addition, when compared to the number of multiplication calculations N×N in a case of using the regular inverse transform matrix, the use of the reduced inverse transform matrix can reduce the number of multiplication calculations by the R/N ratio (N×R).

A transform set configuration shown in Table 2 may also be applied to an 8×8 RST. That is, the 8×8 RST may be applied according to a transform set in Table 2. Since one transform set includes two or three transforms (kernels) according to an intra prediction mode, it may be configured to select one of up to four transforms including that in a case where no secondary transform is applied. In a transform where no secondary transform is applied, it may be considered to apply an identity matrix. Assuming that indexes 0, 1, 2, and 3 are respectively assigned to the four transforms (e.g., index 0 may be allocated to a case where an identity matrix is applied, that is, a case where no secondary transform is applied), a transform index or an lfnst index as a syntax element may be signaled for each transform coefficient block, thereby designating a transform to be applied. That is, for a top-left 8×8 block, through the transform index, it is possible to designate an 8×8 RST in an RST configuration, or to designate an 8×8 lfnst when the LFNST is applied. The 8×8 lfnst and the 8×8 RST refer to transforms applicable to an 8×8 region included in the transform coefficient block when both W and H of the target block to be transformed are equal to or greater than 8, and the 8×8 region may be a top-left 8×8 region in the transform coefficient block. Similarly, a 4×4 lfnst and a 4×4 RST refer to transforms applicable to a 4×4 region included in the transform coefficient block when both W and H of the target block to are equal to or greater than 4, and the 4×4 region may be a top-left 4×4 region in the transform coefficient block.

According to an embodiment of the present disclosure, for a transform in an encoding process, only 48 pieces of data may be selected and a maximum 16×48 transform kernel matrix may be applied thereto, rather than applying a 16×64 transform kernel matrix to 64 pieces of data forming an 8×8 region. Here, “maximum” means that m has a maximum value of 16 in an m×48 transform kernel matrix for generating m coefficients. That is, when an RST is performed by applying an m×48 transform kernel matrix (m≤16) to an 8×8 region, 48 pieces of data are input and m coefficients are generated. When m is 16, 48 pieces of data are input and 16 coefficients are generated. That is, assuming that 48 pieces of data form a 48×1 vector, a 16×48 matrix and a 48×1 vector are sequentially multiplied, thereby generating a 16×1 vector. Here, the 48 pieces of data forming the 8×8 region may be properly arranged, thereby forming the 48×1 vector. For example, a 48×1 vector may be constructed based on 48 pieces of data constituting a region excluding the bottom right 4×4 region among the 8×8 regions. Here, when a matrix operation is performed by applying a maximum 16×48 transform kernel matrix, 16 modified transform coefficients are generated, and the 16 modified transform coefficients may be arranged in a top-left 4×4 region according to a scanning order, and a top-right 4×4 region and a bottom-left 4×4 region may be filled with zeros.

For an inverse transform in a decoding process, the transposed matrix of the foregoing transform kernel matrix may be used. That is, when an inverse RST or LFNST is performed in the inverse transform process performed by the decoding apparatus, input coefficient data to which the inverse RST is applied is configured in a one-dimensional vector according to a predetermined arrangement order, and a modified coefficient vector obtained by multiplying the one-dimensional vector and a corresponding inverse RST matrix on the left of the one-dimensional vector may be arranged in a two-dimensional block according to a predetermined arrangement order.

In summary, in the transform process, when an RST or LFNST is applied to an 8×8 region, a matrix operation of 48 transform coefficients in top-left, top-right, and bottom-left regions of the 8×8 region excluding the bottom-right region among transform coefficients in the 8×8 region and a 16×48 transform kernel matrix. For the matrix operation, the 48 transform coefficients are input in a one-dimensional array. When the matrix operation is performed, 16 modified transform coefficients are derived, and the modified transform coefficients may be arranged in the top-left region of the 8×8 region.

On the contrary, in the inverse transform process, when an inverse RST or LFNST is applied to an 8×8 region, 16 transform coefficients corresponding to a top-left region of the 8×8 region among transform coefficients in the 8×8 region may be input in a one-dimensional array according to a scanning order and may be subjected to a matrix operation with a 48×16 transform kernel matrix. That is, the matrix operation may be expressed as (48×16 matrix)*(16×1 transform coefficient vector)=(48×1 modified transform coefficient vector). Here, an n×1 vector may be interpreted to have the same meaning as an n×1 matrix and may thus be expressed as an n×1 column vector. Further, * denotes matrix multiplication. When the matrix operation is performed, 48 modified transform coefficients may be derived, and the 48 modified transform coefficients may be arranged in top-left, top-right, and bottom-left regions of the 8×8 region excluding a bottom-right region.

When a secondary inverse transform is based on an RST, the inverse transformer 135 of the encoding apparatus 100 and the inverse transformer 222 of the decoding apparatus 200 may include an inverse reduced secondary transformer to derive modified transform coefficients based on an inverse RST on transform coefficients and an inverse primary transformer to derive residual samples for the target block based on an inverse primary transform on the modified transform coefficients. The inverse primary transform refers to the inverse transform of a primary transform applied to a residual. In the present disclosure, deriving a transform coefficient based on a transform may refer to deriving the transform coefficient by applying the transform.

The above-described non-separated transform, the LFNST, will be described in detail as follows. The LFNST may include a forward transform by the encoding apparatus and an inverse transform by the decoding apparatus.

The encoding apparatus receives a result (or a part of a result) derived after applying a primary (core) transform as an input, and applies a forward secondary transform (secondary transform).

y=G^(T)x   [Equation 9]

In Equation 9, x and y are inputs and outputs of the secondary transform, respectively, and G is a matrix representing the secondary transform, and transform basis vectors are composed of column vectors. In the case of an inverse LFNST, when the dimension of the transform matrix G is expressed as [number of rows×number of columns ], in the case of an forward LFNST, the transposition of matrix G becomes the dimension of G^(T).

For the inverse LFNST, the dimensions of matrix G are [48×16 ], [48×8 ], [16×16], [16×8], and the [48×8] matrix and the [16×8] matrix are partial matrices that sampled 8 transform basis vectors from the left of the [48×16] matrix and the [16×16] matrix, respectively.

On the other hand, for the forward LFNST, the dimensions of matrix G^(T) are [16×48], [8×48], [16×16], [8×16], and the [8×48] matrix and the [8×16] matrix are partial matrices obtained by sampling 8 transform basis vectors from the top of the [16×48] matrix and the [16×16] matrix, respectively.

Therefore, in the case of the forward LFNST, a [48×1] vector or [16×1] vector is possible as an input x, and a [16×1] vector or a [8×1] vector is possible as an output y. In video coding and decoding, the output of the forward primary transform is two-dimensional (2D) data, so to construct the [48×1] vector or the [16×1] vector as the input x, a one-dimensional vector must be constructed by properly arranging the 2D data that is the output of the forward transform.

FIG. 6 is a diagram illustrating a sequence of arranging output data of a forward primary transform into a one-dimensional vector according to an example. The left diagrams of (a) and (b) of FIG. 6 show the sequence for constructing a [48×1] vector, and the right diagrams of (a) and (b) of FIG. 6 shows the sequence for constructing a [16×1] vector. In the case of the LFNST, a one-dimensional vector x can be obtained by sequentially arranging 2D data in the same order as in (a) and (b) of FIG. 6 .

The arrangement direction of the output data of the forward primary transform may be determined according to an intra prediction mode of the current block. For example, when the intra prediction mode of the current block is in the horizontal direction with respect to the diagonal direction, the output data of the forward primary transform may be arranged in the order of (a) of FIG. 6 , and when the intra prediction mode of the current block is in the vertical direction with respect to the diagonal direction, the output data of the forward primary transform may be arranged in the order of (b) of FIG. 6 .

According to an example, an arrangement order different from the arrangement orders of (a) and (b) FIG. 6 may be applied, and in order to derive the same result (y vector) as when the arrangement orders of (a) and (b) FIG. 6 is applied, the column vectors of the matrix G may be rearranged according to the arrangement order. That is, it is possible to rearrange the column vectors of G so that each element constituting the x vector is always multiplied by the same transform basis vector.

Since the output y derived through Equation 9 is a one-dimensional vector, when two-dimensional data is required as input data in the process of using the result of the forward secondary transform as an input, for example, in the process of performing quantization or residual coding, the output y vector of Equation 9 must be properly arranged as 2D data again.

FIG. 7 is a diagram illustrating a sequence of arranging output data of a forward secondary transform into a two-dimensional block according to an example.

In the case of the LFNST, output values may be arranged in a 2D block according to a predetermined scan order. (a) of FIG. 7 shows that when the output y is a [16×1] vector, the output values are arranged at 16 positions of the 2D block according to a diagonal scan order. (b) of FIG. 7 shows that when the output y is a [8×1] vector, the output values are arranged at 8 positions of the 2D block according to the diagonal scan order, and the remaining 8 positions are filled with zeros. X in (b) of FIG. 7 indicates that it is filled with zero.

According to another example, since the order in which the output vector y is processed in performing quantization or residual coding may be preset, the output vector y may not be arranged in the 2D block as shown in FIG. 7 . However, in the case of the residual coding, data coding may be performed in 2D block (e.g., 4×4) units such as CG (Coefficient Group), and in this case, the data are arranged according to a specific order as in the diagonal scan order of FIG. 7 .

Meanwhile, the decoding apparatus may configure the one-dimensional input vector y by arranging two-dimensional data output through a dequantization process or the like according to a preset scan order for the inverse transform. The input vector y may be output as the output vector x by the following equation.

x=Gy   [Equation 10]

In the case of the inverse LFNST, an output vector x can be derived by multiplying an input vector y, which is a [16×1] vector or a [8×1] vector, by a G matrix. For the inverse LFNST, the output vector x can be either a [48×1] vector or a [16×1] vector.

The output vector x is arranged in a two-dimensional block according to the order shown in FIG. 6 and is arranged as two-dimensional data, and this two-dimensional data becomes input data (or a part of input data) of the inverse primary transform.

Accordingly, the inverse secondary transform is the opposite of the forward secondary transform process as a whole, and in the case of the inverse transform, unlike in the forward direction, the inverse secondary transform is first applied, and then the inverse primary transform is applied.

In the inverse LFNST, one of 8[48×16] matrices and 8[16×16] matrices may be selected as the transform matrix G. Whether to apply the [48×16] matrix or the [16×16] matrix depends on the size and shape of the block.

In addition, 8 matrices may be derived from four transform sets as shown in Table 2 above, and each transform set may consist of two matrices. Which transform set to use among the 4 transform sets is determined according to the intra prediction mode, and more specifically, the transform set is determined based on the value of the intra prediction mode extended by considering the Wide Angle Intra Prediction (WAIP). Which matrix to select from among the two matrices constituting the selected transform set is derived through index signaling. More specifically, 0, 1, and 2 are possible as the transmitted index value, 0 may indicate that the LFNST is not applied, and 1 and 2 may indicate any one of two transform matrices constituting a transform set selected based on the intra prediction mode value.

Meanwhile, as described above, which transform matrix of the [48×16] matrix and the [16×16] matrix is applied to the LFNST is determined by the size and shape of the transform target block.

FIG. 8 is a diagram illustrating a block shape to which the LFNST is applied. (a) of FIG. 8 shows 4×4 blocks, (b) shows 4×8 and 8×4 blocks, (c) shows 4×N or N×4 blocks in which N is 16 or more, (d) shows 8×8 blocks, (e) shows M×N blocks where M 24 8, N≥8, and N>8 or M>8.

In FIG. 8 , blocks with thick borders indicate regions to which the LFNST is applied. For the blocks of FIGS. 8(a) and (b), the LFNST is applied to the top-left 4×4 region, and for the block of FIG. 8(c), the LFNST is applied individually the two top-left 4×4 regions are continuously arranged. In (a), (b), and (c) of FIG. 8 , since the LFNST is applied in units of 4×4 regions, this LFNST will be hereinafter referred to as “4×4 LFNST”. Based on the matrix dimension for G, a [16×16] or [16×8] matrix may be applied.

More specifically, the [16×8] matrix is applied to the 4×4 block (4×4 TU or 4×4 CU) of FIG. 8(a) and the [16×16] matrix is applied to the blocks in (b) and (c) of FIG. 8 . This is to adjust the computational complexity for the worst case to 8 multiplications per sample.

With respect to (d) and (e) of FIG. 8 , the LFNST is applied to the top-left 8×8 region, and this LFNST is hereinafter referred to as “8×8 LFNST”. As a corresponding transform matrix, a [48×16] matrix or [48×8] matrix may be applied. In the case of the forward LFNST, since the [48×1] vector (x vector in Equation 9) is input as input data, all sample values of the top-left 8×8 region are not used as input values of the forward LFNST. That is, as can be seen in the left order of FIG. 6(a) or the left order of FIG. 6(b), the [48×1] vector may be constructed based on samples belonging to the remaining 3 4×4 blocks while leaving the bottom-right 4×4 block as it is.

The [48×8] matrix may be applied to an 8×8 block (8×8 TU or 8×8 CU) in FIG. 8(d), and the [48×16] matrix may be applied to the 8×8 block in FIG. 8(e). This is also to adjust the computational complexity for the worst case to 8 multiplications per sample.

Depending on the block shape, when the corresponding forward LFNST (4×4 LFNST or 8×8 LFNST) is applied, 8 or 16 output data (y vector in Equation 9, [8×1] or [16×1] vector) is generated. In the forward LFNST, the number of output data is equal to or less than the number of input data due to the characteristics of the matrix G^(T).

FIG. 9 is a diagram illustrating an arrangement of output data of a forward LFNST according to an example, and shows a block in which output data of the forward LFNST is arranged according to a block shape.

The shaded area at the top-left of the block shown in FIG. 9 corresponds to the area where the output data of the forward LFNST is located, the positions marked with 0 indicate samples filled with 0 values, and the remaining area represents regions that are not changed by the forward LFNST. In the area not changed by the LFNST, the output data of the forward primary transform remains unchanged.

As described above, since the dimension of the transform matrix applied varies according to the shape of the block, the number of output data also varies. As FIG. 9 , the output data of the forward LFNST may not completely fill the top-left 4×4 block. In the case of (a) and (d) of FIG. 9 , a [16×8] matrix and a [48×8] matrix are applied to the block indicated by a thick line or a partial region inside the block, respectively, and a [8×1] vector as the output of the forward LFNST is generated. That is, according to the scan order shown in (b) of FIG. 7 , only 8 output data may be filled as shown in (a) and (d) of FIGS. 9, and 0 may be filled in the remaining 8 positions. In the case of the LFNST applied block of FIG. 8(d), as shown in FIG. 9(d), two 4×4 blocks in the top-right and bottom-left adjacent to the top-left 4×4 block are also filled with 0 values.

As described above, basically, by signaling the LFNST index, whether to apply the LFNST and the transform matrix to be applied are specified. As shown FIG. 9 , when the LFNST is applied, since the number of output data of the forward LFNST may be equal to or less than the number of input data, a region filled with a zero value occurs as follows.

1) As shown in (a) of FIG. 9 , samples from the 8th and later positions in the scan order in the top-left 4×4 block, that is, samples from the 9th to the 16th.

2) As shown in (d) and (e) of FIG. 9 , when the 48×16 matrix or the 48×8 matrix is applied, two 4×4 blocks adjacent to the top-left 4×4 block or the second and third 4×4 blocks in the scan order.

Therefore, if non-zero data exists by checking the areas 1) and 2), it is certain that the LFNST is not applied, so that the signaling of the corresponding LFNST index can be omitted.

According to an example, for example, in the case of LFNST adopted in the VVC standard, since signaling of the LFNST index is performed after the residual coding, the encoding apparatus may know whether there is the non-zero data (significant coefficients) for all positions within the TU or CU block through the residual coding. Accordingly, the encoding apparatus may determine whether to perform signaling on the LFNST index based on the existence of the non-zero data, and the decoding apparatus may determine whether the LFNST index is parsed. When the non-zero data does not exist in the area designated in 1) and 2) above, signaling of the LFNST index is performed.

Meanwhile, for the adopted LFNST, the following simplification methods may be applied.

(i) According to an example, the number of output data for the forward LFNST may be limited to a maximum of 16.

In the case of (c) of FIG. 8 , the 4×4 LFNST may be applied to two 4×4 regions adjacent to the top-left, respectively, and in this case, a maximum of 32 LFNST output data may be generated. when the number of output data for forward LFNST is limited to a maximum of 16, in the case of 4×N/N×4 (N≥16) blocks (TU or CU), the 4×4 LFNST is only applied to one 4×4 region in the top-left, the LFNST may be applied only once to all blocks of FIG. 8 . Through this, the implementation of image coding may be simplified.

(ii) According to an example, zero-out may be additionally applied to a region to which the LFNST is not applied. In this document, the zero-out may mean filling values of all positions belonging to a specific region with a value of 0. That is, the zero-out can be applied to a region that is not changed due to the LFNST and maintains the result of the forward primary transform. As described above, since the LFNST is divided into the 4×4 LFNST and the 8×8 LFNST, the zero-out can be divided into two types ((ii)-(A) and (ii)-(B)) as follows.

(ii)-(A) When the 4×4 LFNST is applied, a region to which the 4×4 LFNST is not applied may be zeroed out. FIG. 10 is a diagram illustrating the zero-out in a block to which the 4×4 LFNST is applied according to an example.

As shown in FIG. 10 , with respect to a block to which the 4×4 LFNST is applied, that is, for all of the blocks in (a), (b) and (c) of FIG. 9 , the whole region to which the LFNST is not applied may be filled with zeros.

On the other hand, (d) of FIG. 10 shows that when the maximum value of the number of the output data of the forward LFNST is limited to 16 according to one example, the zero-out is performed on the remaining blocks to which the 4×4 LFNST is not applied.

(ii)-(B) When the 8×8 LFNST is applied, a region to which the 8×8 LFNST is not applied may be zeroed out. FIG. 11 is a diagram illustrating the zero-out in a block to which the 8×8 LFNST is applied according to an example.

As shown in FIG. 11 , with respect to a block to which the 8×8 LFNST is applied, that is, for all of the blocks in (d) and (e) of FIG. 9 , the whole region to which the LFNST is not applied may be filled with zeros.

(iii) Due to the zero-out presented in (ii) above, the area filled with zeros may be not same when the LFNST is applied. Accordingly, it is possible to check whether the non-zero data exists according to the zero-out proposed in (ii) over a wider area than the case of the LFNST of FIG. 9 .

For example, when (ii)-(B) is applied, after checking whether the non-zero data exists where the area filled with zero values in (d) and (e) of FIG. 9 in addition to the area filled with 0 additionally in FIG. 11 , signaling for the LFNST index can be performed only when the non-zero data does not exist.

Of course, even if the zero-out proposed in (ii) is applied, it is possible to check whether the non-zero data exists in the same way as the existing LFNST index signaling. That is, after checking whether the non-zero data exists in the block filled with zeros in FIG. 9 , the LFNST index signaling may be applied. In this case, the encoding apparatus only performs the zero out and the decoding apparatus does not assume the zero out, that is, checking only whether the non-zero data exists only in the area explicitly marked as 0 in FIG. 9 , may perform the LFNST index parsing.

Various embodiments in which combinations of the simplification methods ((i), (ii)-(A), (ii)-(B), (iii)) for the LFNST are applied may be derived. Of course, the combinations of the above simplification methods are not limited to the following embodiment, and any combination may be applied to the LFNST.

Embodiment

Limit the number of output data for forward LFNST to a maximum of 16

(i)

When the 4×4 LFNST is applied, all areas to which the 4×4 LFNST is not applied are zero-out→(ii)-(A)

When the 8×8 LFNST is applied, all areas to which the 8×8 LFNST is not applied are zero-out→(ii)-(B)

After checking whether the non-zero data exists also the existing area filled with zero value and the area filled with zeros due to additional zero outs ((ii)-(A), (ii)-(B)), the LFNST index is signaled only when the non-zero data does not exist→(iii)

In the case of Embodiment, when the LFNST is applied, an area in which the non-zero output data can exist is limited to the inside of the top-left 4×4 area. In more detail, in the case of FIG. 10(a) and FIG. 11(a), the 8th position in the scan order is the last position where non-zero data can exist. In the case of FIG. 10(b) and (c) and FIG. 11(b), the 16th position in the scan order (i.e., the position of the bottom-right edge of the top-left 4×4 block) is the last position where data other than 0 may exist.

Therefore, when the LFNST is applied, after checking whether the non-zero data exists in a position where the residual coding process is not allowed (at a position beyond the last position), it can be determined whether the LFNST index is signaled.

In the case of the zero-out method proposed in (ii), since the number of data finally generated when both the primary transform and the LFNST are applied, the amount of computation required to perform the entire transform process can be reduced. That is, when the LFNST is applied, since zero-out is applied to the forward primary transform output data existing in a region to which the LFNST is not applied, there is no need to generate data for the region that become zero-out during performing the forward primary transform. Accordingly, it is possible to reduce the amount of computation required to generate the corresponding data. The additional effects of the zero-out method proposed in (ii) are summarized as follows.

First, as described above, the amount of computation required to perform the entire transform process is reduced.

In particular, when (ii)-(B) is applied, the amount of calculation for the worst case is reduced, so that the transform process can be lightened. In other words, in general, a large amount of computation is required to perform a large-size primary transform. By applying (ii)-(B), the number of data derived as a result of performing the forward LFNST can be reduced to 16 or less. In addition, as the size of the entire block (TU or CU) increases, the effect of reducing the amount of transform operation is further increased.

Second, the amount of computation required for the entire transform process can be reduced, thereby reducing the power consumption required to perform the transform.

Third, the latency involved in the transform process is reduced.

The secondary transform such as the LFNST adds a computational amount to the existing primary transform, thus increasing the overall delay time involved in performing the transform. In particular, in the case of intra prediction, since reconstructed data of neighboring blocks is used in the prediction process, during encoding, an increase in latency due to a secondary transform leads to an increase in latency until reconstruction. This can lead to an increase in overall latency of intra prediction encoding.

However, if the zero-out suggested in (ii) is applied, the delay time of performing the primary transform can be greatly reduced when LFNST is applied, the delay time for the entire transform is maintained or reduced, so that the encoding apparatus can be implemented more simply.

Meanwhile, in the conventional intra prediction, a coding target block is regarded as one coding unit, and coding is performed without partition thereof. However, the ISP (Intra Sub-Partitions) coding refers to performing the intra prediction coding with the coding target block being partitioned in a horizontal direction or a vertical direction. In this case, a reconstructed block may be generated by performing encoding/decoding in units of partitioned blocks, and the reconstructed block may be used as a reference block of the next partitioned block. According to an example, in the ISP coding, one coding block may be partitioned into two or four sub-blocks and be coded, and in the ISP, intra prediction is performed on one sub-block by referring to the reconstructed pixel value of a sub-block located adjacent to the left or top side thereof. Hereinafter, the term “coding” may be used as a concept including both coding performed by the encoding apparatus and decoding performed by the decoding apparatus.

The ISP partitions a block predicted as luma intra into two or four sub-partitions in a vertical direction or a horizontal direction according to the size of the block. For example, the minimum block size to which the ISP can be applied is 4×8 or 8×4. If the block size is greater than 4×8 or 8×4, the block is partitioned into four sub-partitions.

When the ISP is applied, the sub-blocks are sequentially coded according to the partition type, such as, horizontally or vertically, from left to right, or from top to bottom, and coding for the next sub-block may be performed after performing up to a restoration process through inverse transform and intra prediction for one sub-block. For the leftmost or uppermost sub-block, as in a conventional intra prediction method, the reconstructed pixel of the coding block which has been already coded is referred to. Additionally, if the previous sub-block is not adjacent to each side of an internal sub-block that follows it, in order to derive reference pixels adjacent to a corresponding side, as in the conventional intra prediction method, the reconstructed pixel of an already coded adjacent coding block is referred to.

In the ISP coding mode, all sub-blocks may be coded with the same intra prediction mode, and a flag indicating whether or not to use the ISP coding and a flag indicating in which direction (horizontal or vertical) partition is to be performed may be signaled. At this time, the number of sub-blocks may be adjusted to 2 or 4 depending on the block shape, and when the size (width×height) of one sub-block is less than 16, the partition may not be allowed for the corresponding sub-blocks, nor the application of the ISP coding itself may be restricted.

Meanwhile, in the case of ISP prediction mode, one coding unit is partitioned into two or four partition blocks, that is, sub-blocks, and predicted, and the same intra prediction mode is applied to the thus partitioned two or four partition blocks.

As described above, both a horizontal direction (if an M>N coding unit having a horizontal length and a vertical length of M and N, respectively, is divided in the horizontal direction, it is divided into M×(N/2) blocks when divided into two, and into an M×(N/4) blocks when divided into four) and a vertical direction (if the M×N coding unit is divided in the vertical direction, it is divided into (M/2)×N blocks when divided into two, and divided into (M/4)×N blocks when divided into four) are possible as the partition direction. When partitioned in the horizontal direction, partition blocks are coded in an order from top to down, and when partitioned in the vertical direction, partition blocks are coded in an order from left to right. The currently coded partition block may be predicted by referring to the reconstructed pixel values of the top (left) partition block in the case of the horizontal (vertical) direction partition.

Transform may be applied to the residual signal generated by the ISP prediction method in units of partition blocks. MTS (Multiple Transform Selection) technology based on the DST-7/DCT-8 combination as well as the existing DCT-2 may be applied to the primary transform (core transform or primary transform) based on the forward direction, and an LFNST (Low Frequency Non-Separable Transform) may be applied to a transform coefficient generated according to the primary transform to generate a final modified transform coefficient.

That is, LFNST may also be applied to partition blocks divided by applying the ISP prediction mode, and the same intra prediction mode is applied to the divided partition blocks as described above. Accordingly, when selecting the LFNST set derived based on the intra prediction mode, the derived LFNST set may be applied to all partition blocks. That is, the same intra prediction mode is applied to all partition blocks, and thereby the same LFNST set may be applied to all partition blocks.

Meanwhile, according to an example, the LFNST may be applied only to transform blocks having both a horizontal and vertical length of 4 or more. Therefore, when the horizontal or vertical length of the partition block partitioned according to the ISP prediction method is less than 4, the LFNST is not applied and the LFNST index is not signaled. Additionally, when the LFNST is applied to each partition block, the corresponding partition block may be regarded as one transform block. Of course, when the ISP prediction method is not applied, the LFNST may be applied to the coding block.

Application of the LFNST to each partition block is described in detail as follows.

According to an example, after applying the forward LFNST to an individual partition block, and after leaving only up to 16 coefficients (8 or 16) in the top-left 4×4 region according to the transform coefficient scanning order, zero-out of filling all remaining positions and regions with a value of 0 may be applied.

Alternatively, according to an example, when the length of one side of the partition block is 4, the LFNST is applied only to the top-left 4×4 region, and when the length of all sides of the partition block, that is, the width and height, are 8 or more, the LFNST may be applied to the remaining 48 coefficients except for a bottom-right 4×4 region in a top-left 8×8 region.

Alternatively, according to an example, in order to adjust the computational complexity of the worst case to 8 multiplications per sample, when each partition block is 4×4 or 8×8, only 8 transform coefficients may be output after applying the forward LFNST. That is, if the partition block is 4×4, an 8×16 matrix may be applied as a transform matrix, and if the partition block is 8×8, an 8×48 matrix may be applied as a transform matrix.

Meanwhile, in the current VVC standard, LFNST index signaling is performed in units of coding units. Accordingly, when the ISP prediction mode is used and the LFNST is applied to all partition blocks, then the same LFNST index value may be applied to the corresponding partition blocks. That is, when the LFNST index value is transmitted once at the coding unit level, the corresponding LFNST index may be applied to all partition blocks in the coding unit. As described above, the LFNST index value may have values of 0, 1, and 2, 0 indicates a case in which the LFNST is not applied, and 1 and 2 indicate two transform matrices present in one LFNST set when the LFNST is applied.

As described above, the LFNST set is determined by the intra prediction mode, and since all partition blocks in the coding unit are predicted in the same intra prediction mode in the case of the ISP prediction mode, the partition blocks may refer to the same LFNST set.

As another example, the LFNST index signaling is still performed in units of coding units, but in the case of the ISP prediction mode, without determining whether or not to apply the LFNST uniformly to all partition blocks, whether to apply the LFNST index value signaled at the coding unit level to each partition block or not to apply the LFNST may be determined through a separate condition. Here, the separate condition may be signaled in the form of a flag for each partition block through the bitstream, and when the flag value is 1, the LFNST index value signaled at the coding unit level may be applied, and when the flag value is 0, the LFNST may not be applied.

Hereinafter, a method for maintaining the computational complexity for the worst case when LFNST is applied to the ISP mode will be described.

In the case of ISP mode, in order to maintain the number of multiplications per sample (or per coefficient, or per position) at a certain value or less when LFNST is applied, the application of LFNST may be restricted. Depending on the size of the partition block, the number of multiplications per sample (or per coefficient, or per position) may be maintained at 8 or less by applying LFNST as follows.

1. When both the horizontal length and the vertical length of the partition block are equal to or greater than 4, the same method as the calculation complexity adjustment method for the worst case for LFNST in the current VVC standard may be applied.

That is, when the partition block is a 4×4 block, instead of a 16×16 matrix, in the forward direction, an 8×16 matrix obtained by sampling the top 8 rows from a 16×16 matrix may be applied, and in the backward direction, a 16×8 matrix obtained by sampling the left 8 columns from a 16×16 matrix may be applied. Additionally, when the partition block is an 8×8 block, in the forward direction, instead of a 16×48 matrix, an 8×48 matrix obtained by sampling the top 8 rows from a 16×48 matrix may be applied, and in the backward direction, instead of a 48×16 matrix, a 48×8 matrix obtained by sampling the left 8 columns from a 48×16 matrix may be applied.

In the case of a 4×N or N×4 (N>4) block, when forward transform is performed, 16 coefficients generated after applying a 16×16 matrix only to the top-left 4×4 block are arranged in the top-left 4×4 region, and the other regions may be filled with 0 values. Additionally, when performing inverse transform, 16 coefficients located in the top-left 4×4 block may be arranged in the scanning order to configure an input vector, and then 16 output data may be generated by multiplying the 16×16 matrix. The generated output data may be arranged in the top-left 4×4 region, and the remaining regions except for the top-left 4×4 region may be filled with zeros.

In the case of an 8×N or N×8 (N>8) block, when the forward transform is performed, 16 coefficients generated after applying the 16×48 matrix only to the ROI region in the top-left 8×8 block (remaining regions excluding the bottom-right 4×4 block from the top-left 8×8 block) may be arranged in the top-left 4×4 area, and the other regions may be filled with 0 values. Additionally, when performing inverse transform, 16 coefficients located in the top-left 4×4 block may be arranged in the scanning order to configure an input vector, and then 48 output data may be generated by multiplying the 48×16 matrix. The generated output data may be filled in the ROI region, and the other regions may be filled with 0 values.

As another example, in order to maintain the number of multiplications per sample (or per coefficient, or per position) at a certain value or less, the number of multiplications per sample (or per coefficient, or per position) based on the ISP coding unit size rather than the size of the ISP partition block may be maintained at 8 or less. If there is only one block among the ISP partition blocks, which satisfies the condition under which the LFNST is applied, the complexity calculation for the worst case of LFNST may be applied based on the corresponding coding unit size rather than the size of the partition block. For example, when a luma coding block for a certain coding unit is partitioned into 4 partition blocks of 4×4 size and coded by the ISP, and when no non-zero transform coefficient exists for two partition blocks among them, the other two partition blocks may be respectively set to generate 16 transform coefficients instead of 8 (based on the encoder).

Hereinafter, a method of signaling the LFNST index in the case of the ISP mode will be described.

As described above, the LFNST index may have values of 0, 1, and 2, where 0 indicates that the LFNST is not applied, and 1 and 2 respectively indicate either one of two LFNST kernel matrices included in the selected LFNST set. The LFNST is applied based on the LFNST kernel matrix selected by the LFNST index. A method of transmitting the LFNST index in the current VVC standard will be described as follows.

1. An LFNST index may be transmitted once for each coding unit (CU), and in the case of a dual-tree, individual LFNST indexes may be signaled for a luma block and a chroma block, respectively.

2. When the LFNST index is not signaled, the LFNST index value is inferred to be a default value of 0. The case where the LFNST index value is inferred to be 0 is as follows.

A. In the case of a mode in which no transform is applied (e.g., transform skip, BDPCM, lossless coding, etc.)

B. When the primary transform is not DCT-2 (DST7 or DCT8), that is, when the transform in the horizontal direction or the transform in the vertical direction is not DCT-2

C. When the horizontal length or vertical length for the luma block of the coding unit exceeds the size of the tansformable maximum luma transform, for example, when the size of the transformable maximum luma transform is 64, and when the size for the luma block of the coding block is equal to 128×16, the LFNST cannot be applied.

In the dual tree, whether each of a coding unit for a luma component and a coding unit for a chroma component exceeds a maximum luma transform size is determined. That is, whether the luma block exceeds the maximum luma transform size for transform is checked, and whether the width/length of the corresponding luma block according to a color format with respect to the chroma block exceeds the maximum luma transform size for maximum transform is checked. For example, when the color format is 4:2:0, the width/length of the corresponding luma block is twice that of the chroma block, and the transform size of the corresponding luma block is twice that of the chroma block. In another example, when the color format is 4:4:4, the width/length and the transform size of the corresponding luma block are the same as those of the chroma block.

A 64-length transform or a 32-length transform may mean a transform applied to width or height having a length of 64 or 32, respectively, and “transform size” may mean 64 or 32 as the corresponding length.

In the case of a single tree, after checking whether or not a horizontal length or a vertical length of a luma block exceeds the maximum transformable luma transform block size, if it exceeds, the LFNST index signaling may be omitted.

D. The LFNST index may be transmitted only when both the horizontal length and the vertical length of the coding unit are equal to or greater than 4.

In the case of a dual tree, the LFNST index may be signaled only when both the horizontal and vertical lengths for a corresponding component (i.e., a luma or chroma component) are equal to or greater than 4.

In the case of a single tree, the LFNST index may be signaled when both the horizontal and vertical lengths for the luma component are equal to or greater than 4.

E. If the position of the last non-zero coefficient is not a DC position (top-left position of the block), and if the position of the last non-zero coefficient is not a DC position, in the case of a luma block of a dual tree type, the LFNST index is transmitted. In the case of a dual tree type chroma block, if any one of the position of the last non-zero coefficient for Cb and the position of the last non-zero coefficient for Cr is not a DC position, the corresponding LNFST index is transmitted.

In the case of the single tree type, if the position of the last non-zero coefficient of any one of the luma component, Cb component, and Cr component is not the DC position, the LFNST index is transmitted.

Here, if a coded block flag (CBF) value indicating whether or not a transform coefficient for one transform block exists is 0, the position of the last non-zero coefficient for the corresponding transform block is not checked in order to determine whether or not the LFNST index is signaled. That is, when the corresponding CBF value is 0, since no transform is applied to the corresponding block, the position of the last non-zero coefficient may not be considered when checking the condition for the LFNST index signaling.

For example, 1) in the case of a dual tree type and a luma component, if the corresponding CBF value is 0, the LFNST index is not signaled, 2) in the case of a dual tree type and chroma component, if the CBF value for Cb is 0 and the CBF value for Cr is 1, only the position of the last non-zero coefficient for Cr is checked and the corresponding LFNST index is transmitted, 3) in the case of a single tree type, the position of the last non-zero coefficient is checked only for components having a CBF value of 1 for each of luma, Cb, and Cr.

F. When it is confirmed that the transform coefficient exists at a position other than a position where the LFNST transform coefficient may exist, the LFNST index signaling may be omitted. In the case of a 4x4 transform block and an 8×8 transform block, LFNST transform coefficients may exist at eight positions from the DC position according to the transform coefficient scanning order in the VVC standard, and the remaining positions are filled with zeros. Additionally, when the 4×4 transform block and the 8×8 transform block are not, LFNST transform coefficients may exist in sixteen positions from the DC position according to the transform coefficient scanning order in the VVC standard, and the remaining positions are filled with zeros.

Accordingly, if the non-zero transform coefficients exists in the region which should be filled with the zero value after progressing the residual coding, the LFNST index signaling may be omitted.

Meanwhile, the ISP mode may also be applied only to the luma block, or may be applied to both the luma block and the chroma block. As described above, when ISP prediction is applied, the corresponding coding unit may be divided into two or four partition blocks and predicted, and a transform may be applied to each of the partition blocks. Therefore, also when determining a condition for signaling the LFNST index in units of coding units, it is necessary to take into consideration the fact that the LFNST may be applied to respective partition blocks. In addition, when the ISP prediction mode is applied only to a specific component (e.g., a luma block), the LFNST index must be signaled in consideration of the fact that only the component is divided into partition blocks. The LFNST index signaling methods available in the ISP mode are summarized as follows.

1. An LFNST index may be transmitted once for each coding unit (CU), and in the case of a dual-tree, individual LFNST indexes may be signaled for a luma block and a chroma block, respectively.

2. When the LFNST index is not signaled, the LFNST index value is inferred to be a default value of 0. The case where the LFNST index value is inferred to be 0 is as follows.

A. In the case of a mode in which no transform is applied (e.g., transform skip, BDPCM, lossless coding, etc.)

B. When the horizontal length or vertical length for the luma block of the coding unit exceeds the size of the tansformable maximum luma transform, for example, when the size of the transformable maximum luma transform is 64, and when the size for the luma block of the coding block is equal to 128×16, the LFNST cannot be applied.

Whether or not to signal the LFNST index may be determined based on the size of the partition block instead of the coding unit. That is, if the horizontal or vertical length of the partition block for the corresponding luma block exceeds the size of the transformable maximum luma transform, the LFNST index signaling may be omitted and the LFNST index value may be inferred to be 0.

In the dual tree, whether each of the coding unit or a partition block for the luma component and the coding unit or a partition block for the chroma component exceeds a maximum transform block size is determined. That is, when each of the width and length of the coding unit or partition block for the luma is compared with the maximum luma transform size and even one thereof is greater than the maximum luma transform size, the LFNST is not applied. In the coding unit or partition block for the chroma, the width/length of the corresponding luma block according to the color format is compared with the maximum luma transform size for maximum transform. For example, when the color format is 4:2:0, the width/length of the corresponding luma block is twice that of the chroma block, and the transform size of the corresponding luma block is twice the size of the chroma block. In another example, when the color format is 4:4:4, the width/length and transform a size of the corresponding luma block are the same as those of the chroma block.

In the case of a single tree, after checking whether or not a horizontal length or a vertical length for a luma block (coding unit or partition block) exceeds the maximum transformable luma transform block size, if it exceeds, the LFNST index signaling may be omitted.

C. If the LFNST included in the current VVC standard is applied, the LFNST index may be transmitted only when both the horizontal length and the vertical length of the partition block are equal to or greater than 4.

If the LFNST for the 2×M (1×M) or M×2 (M×1) block is applied in addition to the LFNST included in the current VVC standard, the LFNST index may be transmitted only when the size of the partition block is equal to or larger than a 2×M (1×M) or M×2 (M×1) block. Here, the expression “the P×Q block is equal to or greater than the R×S block” means that P≥R and Q≥S.

In summary, the LFNST index can be transmitted only when the partition block is equal to or greater than the minimum size to which the LFNST is applicable. In the case of a dual tree, the LFNST index can be signaled only when the partition block for the luma or chroma component is equal to or larger than the minimum size to which the LFNST is applicable. In the case of a single tree, the LFNST index can be signaled only when the partition block for the luma component is equal to or larger than the minimum size to which LFNST is applicable.

In this document, the expression “the M×N block is greater than or equal to the K×L block” means that M is greater than or equal to K and N is greater than or equal to L. The expression “the M×N block is larger than the K×L block” means that M is greater than or equal to K and N is greater than or equal to L, and that M is greater than K or N is greater than L. The expression “the M×N block less than or equal to the K×L block” means that M is less than or equal to K and N is less than or equal to L, while the expression “the M×N block is smaller than the K×L block” means that M is less than or equal to K and N is less than or equal to L, and that M is less than K or N is less than L.

D. If the position of the last non-zero coefficient is not a DC position (top-left position of the block), and if the position of the last non-zero coefficient is not a DC position in any one of all partition blocks In the case of a dual tree type luma block, the LFNST is transmitted. In the case of a dual tree type and a chroma block, if at least one of the position of the last non-zero coefficient of all partition blocks for Cb (if the ISP mode is not applied to the chroma component, the number of partition blocks is considered to be one) and the position of the last non-zero coefficient of all partition blocks for Cr (if the ISP mode is not applied to the chroma component, the number of partition blocks is considered to be one) is not a DC position, the corresponding LNFST index may be transmitted.

In the case of the single tree type, if the position of the last non-zero coefficient of any one of all partition blocks for the luma component, the Cb component and the Cr component is not the DC position, the corresponding LFNST index may be transmitted.

Here, if the value of the coded block flag (CBF) indicating whether a transform coefficient exists for each partition block is 0, the position of the last non-zero coefficient for the corresponding partition block is not checked in order to determine whether or not the LFNST index is signaled. That is, when the corresponding CBF value is 0, since no transform is applied to the corresponding block, the position of the last non-zero coefficient for the corresponding partition block is not considered when checking the condition for the LFNST index signaling.

For example, 1) in the case of a dual tree type and a luma component, if the corresponding CBF value for each partition block is 0, the partition block is excluded when determining whether or not to signal the LFNST index, 2) in the case of a dual tree type and a chroma component, if the CBF value for Cb is 0 and the CBF value for Cr is 1 for each partition block, only the position of the last non-zero coefficient for Cr is checked to determine whether or not to signal the LFNST index, 3) in the case of the single tree type, it is possible to determine whether or not to signal the LFNST index by checking the position of the last non-zero coefficient only for blocks having a CBF value of 1 for all partition blocks of the luma component, the Cb component, and the Cr component.

In the case of the ISP mode, image information may also be configured so that the position of the last non-zero coefficient is not checked, and an embodiment thereof is as follows.

i. In the case of the ISP mode, the LFNST index signaling may be allowed without checking the position of the last non-zero coefficient for both the luma block and the chroma block. That is, even if the position of the last non-zero coefficient for all partition blocks is the DC position or the corresponding CBF value is 0, the LFNST index signaling may be allowed.

ii. In the case of the ISP mode, the checking of the position of the last non-zero coefficient only for the luma block may be omitted, and in the case of the chroma block, the checking of the position of the last non-zero coefficient may be performed in the above-described manner For example, in the case of a dual tree type and a luma block, the LFNST index signaling is allowed without checking the position of the last non-zero coefficient, and in the case of a dual tree type and a chroma block, whether or not a corresponding LFNST index is signaled may be determined by checking whether or not a DC position exists for the position of the last non-zero coefficient in the above-described manner

iii. In the case of the ISP mode and the single tree type, the i or ii method may be applied. That is, in the case of the ISP mode and when the number i is applied to the single tree type, it is possible to omit the checking of the position of the last non-zero coefficient for both the luma block and the chroma block and allow LFNST index signaling. Alternatively, by applying section ii, for the partition blocks for the luma component, the checking of the position of the last non-zero coefficient is omitted, and for the partition blocks for the chroma component (if ISP is not applied for the chroma component, the number of partition blocks can be considered as 1), the position of the last non-zero coefficient is checked in the above-described manner, thereby determining whether or not to signal the LFNST index.

E. When it is confirmed that the transform coefficient exists at a position other than a position where the LFNST transform coefficient may exist even for one partition block among all partition blocks, the LFNST index signaling may be omitted.

For example, in the case of a 4×4 partition block and an 8×8 partition block, LFNST transform coefficients may exist at eight positions from the DC position according to the transform coefficient scanning order in the VVC standard, and the remaining positions are filled with zeros. Additionally, if it is equal to or greater than 4×4 and is not a 4×4 partition block nor an 8×8 partition block, LFNST transform coefficients may exist at 16 positions from the DC position according to the transform coefficient scanning order in the VVC standard, and all the remaining positions are filled with zeros.

Accordingly, if the non-zero transform coefficients exists in the region which should be filled with the zero value after progressing the residual coding, the LFNST index signaling may be omitted.

Meanwhile, in the case of the ISP mode, the length condition is independently viewed for the horizontal direction and the vertical direction, and DST-7 is applied instead of DCT-2 without signaling for the MTS index. It is determined whether or not the horizontal or vertical length is greater than or equal to 4 and less than or equal to 16, and a primary transform kernel is determined according to the determination result. Accordingly, in the case of the ISP mode, when the LFNST can be applied, the following transform combination configuration is possible.

1. When the LFNST index is 0 (including the case in which the LFNST index is inferred as 0), the primary transform decision condition at the time of the ISP included in the current VVC standard may be followed. In other words, it may be checked whether or not the length condition (being equal to or greater than 4 or equal to or less than 16) is independently satisfied for the horizontal and vertical directions, respectively, and if it is satisfied, DST-7 may be applied instead of DCT-2 for primary transform, while, if it is not satisfied, DCT-2 may be applied.

2. For a case in which the LFNST index is greater than 0, the following two configurations may be possible as a primary transform.

A. DCT-2 can be applied to both horizontal and vertical directions.

B. The primary transform decision condition at the time of the ISP included in the current VVC standard may be followed. In other words, it may be checked whether or not the length condition (being equal to or greater than 4 or equal to or less than 16) is independently satisfied for the horizontal and vertical directions, respectively, and if it is satisfied, DST-7 may be applied instead of DCT-2, while, if it is not satisfied, DCT-2 may be applied.

In the ISP mode, image information may be configured such that the LFNST index is transmitted for each partition block rather than for each coding unit. In this case, in the above-described LFNST index signaling method, it may be regarded that only one partition block exists in a unit in which the LFNST index is transmitted, and it may be determined whether or not to signal the LFNST index.

Meanwhile, in the following, an embodiment in which LFNST is applied only to the luma component in the case of a single tree will be described.

A coding unit syntax table related to signaling of an LFNST index and an MTS index according to an embodiment is as follows.

TABLE 3  LfnstDcOnly = 1  LfnstZeroOutSigCoeffFlag = 1  MtsZeroOutSigCoeffFlag = 1  transform_tree( x0, y0, cbWidth, cbHeight, treeType, chType )  lfnstWidth = ( treeType = = DUAL_TREE_CHROMA ) ? cbWidth / SubWidthC     : ( ( IntraSubPartitionsSplitType = = ISP_VER_SPLIT ) ? cbWidth /      NumIntraSubPartitions : cbWidth )  lfnstHeight = ( treeType = = DUAL_TREE_CHROMA ) ? cbHeight / SubHeightC     : ( ( IntraSubPartitionsSplitType = = ISP_NOR_SPLIT ) ? cbHeight /      NumIntraSubPartitions : cbHeight )  if( Min( lfnstWidth, lfnstHeight ) >= 4 && sps_lfnst_enabled_flag = = 1 &&   CuPredMode[ chType ][ x0 ][ y0 ] = = MODE_INTRA &&   transform_skip_flag[ x0 ][ y0 ][ 0 ] = = 0 &&   ( treeType != DUAL_TREE_CHROMA | | !intra_mip_flag[ x0 ][ y0 ] | |     Min( lfnstWidth, lnfstHeight ) >= 16 ) &&   Max( cbWidth, cbHeight ) <= MaxTbSizeY) {   if( ( IntraSubPartitionsSplitType != ISP_NO_SPLIT | | LfnstDcOnly = = 0 ) &&    LfnstZeroOutSigCoeffFlag = = 1 )    lfnst_idx ae(v)

The meanings of the main variables in the table are as follows.

1. cbWidth, cbHeight: a width and height of the current coding block

2. log2TbWidth, log2TbHeight: The log value of base-2 for a width and height of the current transform block, it may be reduced to a top-left region in which a non-zero coefficient can exist by reflecting the zero-out.

3. sps_lfnst_enabled_flag: A flag indicating whether LFNST is enabled. If the flag value is 0, it indicates that the LFNST is not enabled, and if the flag value is 1, it indicates that the LFNST is enabled. It is defined in a Sequence Parameter Set (SPS).

4. CuPredMode[chType][x0][y0]: A variable chType and a prediction mode corresponding to a (x0, y0) position, chType may have values of 0 and 1, and 0 indicates a luma component and 1 indicates a chroma component. The (x0, y0) position represents a position ont a picture, and a value of CuPredMode[chType][x0][y0] may be MODE_INTRA(intra prediction)and MODE_INTER(inter prediction).

5. IntraSubPartitionsSplitType: indicates which ISP division is applied to the current coding unit, and ISP_NO_SPLIT indicates that the coding unit is not divided into partition blocks.

6. intra_mip_flag[x0][y0]: The contents of the (x0, y0) position are the same as in No. 4 above. The intra_mip_flag is a flag indicating whether a matrix-based intra prediction (MIP) prediction mode is applied. A value of the flag being 0 indicates that MIP is not enabled, and the value of the flag being 1 indicates that MIP is applied.

7. cIdx: a value of 0 indicates the luma, values 1 and 2 indicate Cb and Cr, which are chroma components, respectively.

8. treeType: indicates single tree and dual tree, etc. (SINGLE_TREE: single tree, DUAL_TREE_LUMA: dual tree for the luma component, DUAL_TREE_CHROMA: dual tree for the chroma component)

9. lfnst_idx[x0][y0]: is an LFNST index syntax element to be parsed. If it is not parsed, it is inferred as a value of 0. That is, a default value is set to 0 and indicates that LFNST is not applied.

The description of the syntax element described above may be applied to syntax elements shown in the tables below.

In Table 3, transform_skip_flag[x0][y0][0]==0 is one condition for determining whether the lfnst index for the luma component is signaled according to whether transform is skipped.

Accordingly, according to an example, in order to remove a dependency between the transform skip flag for the luma component and the LFNST index signaling for the chroma component, and in order to solve the worst-case delay according to the LFNST application, a coding unit syntax table is proposed below.

TABLE 4  LfnstDcOnly = 1  LfnstZeroOutSigCoeffFlag = 1  MtsZeroOutSigCoeffFlag = 1  transform_tree( x0, y0, cbWidth, cbHeight, treeType, chType )  lfnstWidth = ( treeType = = DUAL_TREE_CHROMA ) ? cbWidth / SubWidthC      : ( ( IntraSubPartitionsSplitType = = ISP_VER_SPLIT ) ? cbWidth /       NumIntraSubPartitions : cbWidth )  lfnstHeight = ( treeType = = DUAL_TREE_CHROMA ) ? cbHeight / SubHeightC      : ( ( IntraSubPartitionsSplitType = = ISP_HOR_SPLIT ) ? cbHeight /       NumIntraSubPartitions : cbHeight )     LfnstTransformNotSkipFlag = treeType != DUAL_TREE_CHROMA ?     transform_skip_flag[ x0 ][ y0 ][ 0 ] = 0 : ( transform_skip_flag[ x0 ][ y0 ][ 1 ] = = 0 | |     transform_skip_flag[ x0 ][ y0 ][ 2 ] = = 0 ))  if( Min( lfnstWidth, lfnstHeight ) >= 4 && sps_lfnst_enabled_flag = = 1 &&   CuPredMode[ chType ][ x0 ][ y0 ] = = MODE_INTRA &&   LfnstTransformNotSkipFlag &&   ( treeType != DUAL_TREE_CHROMA | | ( intra_mip_flag[ x0 ][ y0 ] | |     Min( lfnstWidth, lfnstHeight ) >= 16 ) ) &&   Max( cbWidth, cbHeight ) <= MaxTbSizeY) {   if( ( IntraSubPartitionsSplitType != ISP_NO_SPLIT | | LfnstDcOnly = = 0 ) &&    LfnstZeroOutSigCoeffFlag = = 1 )    lfnst_idx ae(v)  }

In the embodiment shown in Table 4, the signaling of the LFNST index for the luma component depends only on the transform skip flag for the luma component for both the dual tree type and the single tree split mode. In the case of the dual tree mode, the LFNST index for the chroma component may be signaled depending only on the transform skip flag for the chroma component. In the single tree split mode, LFNST is not applied to the chroma component to reduce the delay for the worst case.

The variable LfnstTransformNotSkipFlag shown in Table 4 is set according to a tree type of the current block and a value of the transform skip flag for a color component, and only when the value is 1, the LFNST index can be signaled.

The variable LfnstTransformNotSkipFlag is set as 1 when the tree type is not the dual tree chroma(treeType !=DUAL_TREE_CHROMA), i.e., when the tree type is the single tree or when the tree type is the dual tree luma and the value of the transform skip flag for the luma component is 0(treeType !=DUAL_TREE_CHROMA ? transform_skip_flag[x0][y0][0]==0: (transform_skip_flag[x0][y0][1]==0∥transform_skip_flag[x0][y0][2]==0)), if the tree type is the dual tree chroma, when the value of the transform skip flag for the chroma Cb component(transform_skip_flag[x0][y0][1]) is 0 or the value of the transform skip flag for the chroma Cr componenntransform_skip_flag[x0][y0][1]) is 0(treeType !=DUAL_TREE_CHROMA ? transform_skip_flag[x0][y0][0==0]: (transform_skip_flag[x0][y0][1==0]∥transform_skip_flag[x0][y0][2==0])), may be set as 1.

In this document, “x?y:z” operator indicates that if x is TRUE, then x becomes y, and if x is otherwise (otherwise), then x becomes z (if x is TRUE, evaluates to the value of y; otherwise, evaluates to the value of z).

The specification text for the transform process in consideration of Table 4 is as follows.

TABLE 5 8.7.4 Transformation process for scaled transform coefficients 8.7.4.1 General Inputs to this process are: - a luma location ( xTbY, yTbY ) specifying the top-left sample of the current luma transform block relative to the top-left luma sample of the current picture, - a variable nTbW specifying the width of the current transform block, - a variable nTbH specifying the height of the current transform block, - a variable cIdx specifying the colour component of the current block, - an (nTbW)x(nTbH) array d[ x ][ y ] of scaled transform coefficient with x = 0..nTbW − 1, y = 0..nTbH − 1. Output of this process is the (nTbW)x(nTbH) array res[ x ][ y ] of residual samples with x = 0..nTbW − 1, y = 0..nTbH − 1. The variable applyLfnstFlag is derived ss follows: - If treeType is equal to SINGLE_TREE and lfnst_idx is not equal to 0 and transform_skip_flag[ xTbY ][ yTbY ][ cIdx ] is equal to 0 and cIdx is equal to 0 and both nTbW and nTbH are greater than or equal to 4, applyLfnstFlag is set to 1. - Otherwise, if treeType is not equal to SINGLE_TREE and lfnst_idx is not equal to 0 and transform_skip_flag[ xTbY ][ yTbY ][ cIdx ] is equal to 0 and both nTbW and aTbH are greater than or equal to 4, applyLfnstFlag is set to 1. - Otherwise, applyLfnstFlag is set to 0. When applyLfnstFlag is equal to 1, the following applies: - The variables predModeIntra, nLfnstOutSize, log2LfnstSize, nLfnstSize, and nonZeroSize are derived as follows:  predModeIntra =  ( cIdx = = 0 )? IntraPredModeY[ xTbY ][ yTbY ] :  IntraPredModeC[ xTbY ][ yTbY ](11 49)  nLfnstOutSize = ( nTbW >= 8 && nTbH >= 8 ) ? 48 : 16 (1150)  log2LfnstSize = ( nTbW >= 8 && nTbH >= 8 ) ? 3 : 2 (1151)  nLfnstSize = 1 << log2LfnstSize (1152)  nonZeroSize = ( ( nTbW = = 4 && nTbH = = 4 ) | |  ( nTbW = = 8 && nTbH = = 8 ) ) ? 8 : 16 (1153)

In summary, according to an example, whether to apply LFNST to the chroma component may be restricted according to the transform skip flag for the chroma component, and LFNST is not applied to the chroma component in the single tree type

9. lastSubBlock: indicates a position in a scan order of a sub-block (Coefficient Group (CG)) in which a last significant coefficient (last non-zero coefficient) is located. 0 indicates a sub-block including a DC component, and if greater than 0, it is not a sub-block including the DC component.

10. lastScanPos: indicates where the last significant coefficient locates in a sub-block in the scan order. If one sub-block consists of 16 positions, values from 0 to 15 are possible.

12. LastSignificantCoeffX, LastSignificantCoeffY: indicate the x and y coordinates where the last significant coefficient is located within the transform block. The x-coordinate starts at 0 and increases from left to right, and the y-coordinate starts at 0 and increases from top to bottom. If the values of both variables are 0, it represents that the last significant coefficient is located at DC.

The variable LfnstZeroOutSigCoeffFlag of Table 3 is 0 if there is a significant coefficient at the zero-out position when LFNST is applied, otherwise it is 1. The variable LfnstZeroOutSigCoeffFlag may be set according to various conditions shown in Table 13 later.

The variable LfnstZeroOutSigCoeffFlag indicates whether a significant coefficient exists in a second region except a first region at the top-left of the current block. This value is initially set to 1, and if the significant coefficient exists in the second region, the value may be changed to 0. The LFNST index may be parsed only when the value of the initially set variable LfnstZeroOutSigCoeffFlag is maintained at 1. Since LFNST may be applied to both the luma component and the chroma component of the current block when determining and deriving whether the variable LfnstZeroOutSigCoeffFlag value is 1, the color index of the current block is not determined.

According to an example, the variable LfnstDcOnly of Table 3 becomes 1 if all of the last significant coefficients for the transform blocks having a vlaue of a corresponding CBF (Coded Block Flag, 1 if there is at least one significant coefficient in the corresponding block, otherwise 0) equal to 1 are located at the DC position (top left position), otherwise it becomes 0. More specifically, in the case of dual tree luma, the position of the last significant coefficient is checked with respect to one luma transform block, and in the case of dual tree chroma, the position of the last significant coefficient is checked with respect to both the transform block for Cb and the transform block for Cr. In the case of the single tree, the position of the last significant coefficient may be checked with respect to a transform block for luma, Cb, and Cr.

Meanwhile, a syntax table of a coding unit signaling an LFNST index according to another example is as follows.

TABLE 6 coding_unit( x0, y0, cbWidth, cbHeight, cqtDepth, treeType, modeType ) {  ......    LfnstDcOnly = 1   LfnstZeroOutSigCoeffFlag = 1   MtsZeroOutSigCoeffFlag = 1   transform_tree( x0, y0, cbWidth, cbHeight, treeType, chType )   lfnstWidth = ( treeType = = DUAL_TREE_CHROMA ) ? chWidth / SubWidthC       : ( ( IntraSubPartitionsSplitType = = ISP_VER_SPLIT ) ? cbWidth /        NumIntraSubPartitions : cbWidth )   lfnstHeight = ( treeType = = DUAL_TREE_CHROMA ) ? chHeight / SubHeightC       : ( ( IntraSubPartitionsSplitType = = ISP_HOR_SPLIT) ? cbHeight /        NumIntraSubPartitions : cbHeight )      LfnstNotSkipFlag = ( treeType = = SINGLE_TREE ) ?    transform_skip_flag[ x0 ][ y0 ][ 0 ] = = 0 &&    transform_skip_flag[ x0 ][ y0 ][ 1 ] = = 0 && transform_skip_flag[ x0 ][ y0 ][ 2 ]  = = 0    : ( treeType = = DUAL_TREE_LUMA ) ? transform_skip_flag[ x0 ][ y0 ][ 0 ] = =    0    : ( transform_skip_flag[ x0 ][ y0 ][ 1 ] = = 0 &&      transform_skip_flag[ x0 ][ y0 ][ 2 ] = = 0 )   if( Min( lfnstWidth, lfnstHeight ) >= 4 && sps_lfnst_enable_flag = = 1  &&    CuPredMode[ chType ][ x0 ][ y0 ] = = MODE_INTRA &&    LfnstNotSkipFlag &&    ( treeType != DUAL_TREE_CHROMA | | ( !intra_mip_flag[ x0 ][ y0 ] | |      Min( lfnstWidth, lfnstHeight ) >= 16 ) ) &&    Max( cbWidth, cbHeight ) <= MaxTbSizeY) {    if( ( IntraSubPartitionsSplitType != ISP_NO_SPLIT | | LfnstDcOnly = = 0 )  &&     LfnstZeroOutSigCoeffFlag = = 1 )     lfnst_idx ae(v)   }  ......

In Table 6, the variable transform_skip_flag[x0][y0][cIdx] indicates whether transform skip is applied to a coding block for a component indicated by cIdx. cIdx may have values of 0, 1, and 2, where 0 indicates a luma component, and 1 and 2 indicate a Cb component and a Cr component, respectively. transform_skip_flag[x0][y0][cIdx] having a value of 1 indicates that transform skip is applied, and 0 indicates that transform skip is not applied.

In Table 6, the variable LfnstNotSkipFlag is set to 1 only when transform skip is not applied to all components configuring the current coding unit (for all coding blocks), and is set to 0 in other cases, and the LFNST index (lfnst_jdx in Table 6) may be signaled only when a value of LfnstNotSkipFlag is 1.

When the current coding unit is coded in a single tree structure (when treeType is SINGLE_TREE in Table 6), all corresponding components are composed of Y, Cb, and Cr, and when the current coding unit is coded in a separate tree structure for luma (when treeType is DUAL_TREE_LUMA in Table 6), all corresponding components are composed of only Y, and when the current coding unit is coded with a split tree structure for chroma (when treeType is DUAL_TREE_CHROMA in Table 6), all corresponding components are composed of Cb and Cr.

In other words, when even one of the components configuring the current coding unit is coded by transform skip, the LFNST index is not signaled and the corresponding LFNST index value is inferred to be 0. That is, LFNST is not applied.

In the structure in which LFNST is restricted not to apply when even one of the components (Y, Cb, Cr) is coded with transform skip as in Table 6, several components (Y, Cb, Cr) is successively coded the same as the single tree, and when a component is determined as a transform skip during parsing (e.g., when it is determined as a transform skip for Cb and Cr), it may be configured not to additionally buffer the corresponding transform coefficients for the corresponding components that are coded with a transform skip until the LFNST index value is parsed.

For example, since it is ensured that LFNST is not applied, inverse quantization, inverse transform, etc. may be performed immediately after it is found that any one component is coded with a transform skip.

It may be more concisely described as a syntax table such as Table 7 instead of Table 6.

TABLE 7 coding_unit( x0, y0, cbWidth, cbHeight, cqtDepth, treeType, modeType ) {  ......   if( Min( lfnstWidth, lfnstHeight ) >= 4 && sps_lfnst_enabled_flag = = 1 &&     CuPredMode[ chType ][ x0 ][ y0 ] = = MODE_INTRA &&     (treeType == DUAL_TREE_CHROMA | | transform_skip_flag[ x0 ][ y0 ][ 0 ] = = 0) &&     (treeType == DUAL_TREE_LUMA | | (transform_skip_flag[ x0 ][ y0 ][ 1 ] = = 0 &&       transform_skip_flag[ x0 ][ y0 ][ 2 ] = = 0)) &&     ( treeType = = DUAL_TREE_CHROMA | | !intra_mip_flag[ x0 ][ y0 ] | |      Min( lfnstWidth, lfnstHeight ) >= 16 ) &&     Max( cbWidth, cbHeight ) <= MaxTbSizeY) {    if( ( IntraSubPartitionsSplitType != ISP_NO_SPLIT | | LfnstDcOnly = = 0 ) &&      LfnstZeroOutSigCoeffFlag = = 1 )     lfnst_idx ae(v)   }  ......

In the case of a single tree, when determining whether to signal the LFNST index by checking only whether to skip the transform for the luma component, a syntax table for the coding unit as shown in the table below may be configured.

TABLE 8 coding_unit( x0, y0, cbWidth, cbHeight, cqtDepth, treeType, modeType ) { ......  LfnstDcOnly = 1  LgnstZeroOutSigCoeffFlag = 1  MtsZeroOutSigCoeffFlag = 1  transform_tree( x0, y0, cbWidth, cbHeight, treeType, chType )  lfnstWidth = ( treeType = = DUAL_TREE_CHROMA ) ? cbWidth / SubWidthC      : ( ( IntraSubPartitionsSplitType = = ISP_VER_SPLIT ) ? cbWidth /       NumIntraSubPartitions : cbWidth )  lfnstHeight = ( treeType = = DUAL_TREE_CHROMA ) ? cbHeight / SubHeightC      : ( ( IntraSubPartitionsSplitType = = ISP_HOR_SPLIT) ? cbHeight /       NumIntraSubPartitions : cbHeight )     LfnstNotSkipSlag = ( treeType = = DUAL_TREE_CHORMA ) ? ( transform_skip_flag[ x0 ][ y0 ][ 1 ] = = 0 && transform_skip_flag[ x0 ][ y0 ][ 2 ] = = 0 ) : ( transform_skip_flag[ x0 ][ y0 ][ 0 ] = = 0 )  if( Min( lfnstWidth, lfnstHeight ) >= 4 && sps_lfnst_enabled_flag = = 1 &&   CuPredMode[ chType ][ x0 ][ y0 ] = = MODE_INTRA &&   LfnstNotSkipFlag &&   ( treeType != DUAL_TREE_CHROMA | | ( !intra_mip_flag[ x0 ][ y0 ] | |     Min( lfnstWidth, lfnstHeight ) >= 16 ) ) &&   Max( cbWidth, CbHeight ) <= MaxTbSizeY) {   if( ( IntraSubPartitionsSplitType != ISP_NO_SPLIT | | LfnstDcOnly = = 0 ) &&    LfnstZeroOutSigCoeffFlag = = 1 )    lfnst_idx ae(v)  } ......

LfnstNotSkipFlag in Table 8 is determined the same as in Table 6 or Table 7 in the case of the separate tree (That is, in the case of a luma separate tree, it is set to 1 when transform skip is not applied to the luma component, otherwise it is set to 0. In case of a chroma separate tree, it is set to 1 when transform skip is not applied to both the Cb component and Cr component, otherwise it is set to 0), in the case of the single tree, it is set to 1 if transforms skip is not applied only for the luma component, otherwise it is set to 0. Instead of Table 8, the syntax table shown in Table 9 may be applied.

TABLE 9 coding_unit( x0, y0, cbWidth, cbHeight, cqtDepth, treeType, modeType ) { ......   if( Min( lfnstWidth, lfnstHeight ) >= 4 && sps_lfnst_enabled_ flag = = 1 &&    CuPredMode[ chType ][ x0 ][ y0 ] = = MODE_INTRA &&    (treeType == DUAL_TREE_CHROMA | | transform_skip_flag[ x0 ][ y0 ][ 0 ] = = 0) &&    (treeType == DUAL_TREE_LUMA | | treeType == SINGLE_TREE | |       ( transform_skip_flag[ x0 ][ y0 ][ 1 ] = = 0 &&      transform_skip_flag[ x0 ][ y0 ][ 2 ] = = 0 ) ) &&    ( treeType = = DUAL_TREE_CHROMA | | !intra_mip_flag[ x0 ][ y0 ] | |     Min( lfnstWidth, lfnstHeight ) >= 16 ) &&    Max( cbWidth, cbHeight ) <= MaxTbSizeY) {   if( ( IntraSubPartitionsSplitType != ISP_NO_SPLIT | | LfnstDcOnly = = 0 ) &&     LfnstZeroOutSideCoeffFlag = = 1 )    lfnst_idx ae(v)   }  ......

Based on the contents of Table 4, some contents may be replaced with the examples of Tables 6 to 9. Combinations are possible as follows based on Tables 6 to 9.

1. Table 6 or Table 7

2. Table 8 or Table 9

That is, in Table 4, a part in which the LFNST index is signaled may be replaced with any one of Tables 6 to 9.

Hereinafter, a method of omitting LFNST index signaling if a non-zero coefficient for a luma component does not exist when LFNST is applied only to the luma component in the case of a single tree will be described below.

According to an example, the LFNST index (lfnst_idx) is signaled only when a specific condition is satisfied as shown in Table 10.

TABLE 10 Descriptor coding_unit( x0, y0, cbWidth, cbHeight, cqtDepth, treeType, modeType ) {  ......  if( CuPredMode[ chType ][ x0 ][ y0 ] != MODE_INTRA && !pred_mode_plt_flag &&    general_merge_flag[ x0 ][ y0 ] = = 0 )   cu_coded_flag ae(v)  if( cu_coded_flag ) {   if( CuPredMode[ chType ][ x0 ][ y0 ] = = MODE_INTER && sps_sbt_enabled_flag &&    !ciip_flag[ x0 ][ y0 ] && cbWidth <= MaxTbSizeY && cbHeight <= MaxTbSizeY ) {    allowSbtVerH = cbWidth >= 8    allowSbtVerQ = cbWidth >= 16    allowSbtHorH = cbHeight >= 8    allowSbtHorQ = cbHeight >= 16    if( allowSbtVerH | | allowSbtHorH )     cu_sbt_flag ae(v)    if( cu_sbt_flag ) {     if( ( allowSbtVerH | | allowSbtHorH ) && ( allowSbtVerQ | | allowSbtHorQ ) )      cu_sbt_quad_flag ae(v)     if( ( cu_sbt_quad_flag && allowSbtVerQ && allowSbtHorQ ) | |       ( !cu_sbt_quad_flag && allowSbtVerH && allowSbtHorH | | ) )      cu_sbt_horizontal_flag ae(v)     cu_sbt_pos_flag ae(v)    }   }   if( sps_act_enabled_flag && CuPredMode[ chType ][ x0 ][ y0 ] != MODE_INTRA &&     treeType = = SINGLE_TREE )    cu_act_enabled_flag ae(v)   LfnstDcOnly = 1   LfnstZeroOutSigCoeffFlag = 1   MtsDcOnly = 1   MtsZeroOutSigCoeffFlag = 1   transform_tree( x0, y0, cbWidth, cbHeight, treeType, chType )   lfnstWidth = ( treeType = = DUAL_TREE_CHROMA ) ? cbWidth / SubWidthC :        ( ( IntraSubPartitionsSplitType = = ISP_VER_SPLIT ) ?         cbWidth / NumIntraSubPartitions : cbWidth )   lfnstHeight = ( treeType = = DUAL_TREE_CHROMA ) ? cbHeight / SubHeightC        ( ( IntraSubPartitionsSplitType = = ISP_HOR_SPLIT ) ?         cbHeight / NumIntraSubPartitions : cbHeight )   lfnstNotTsFlag = ( treeType = = DUAL_TREE_CHROMA | |          transform_skip_flag[ x0 ][ y0 ][ 0 ] = = 0 ) &&         ( treeType = = DUAL_TREE_CHROMA | |          ( transform_skip_flag[ x0 |[ y0 ][ 1 ] = = 0 &&           transform_skip_flag[ x0 ][ y0 ][ 2 ] = = 0 ) )   if( Min( lfnstWidth, lfnstHeight ) >= 4 && sps_lfnst_enabled_flag = = 1 &&     CuPredMode[ chType ][ x0 ][ y0 ] = = MODE_INTRA && lfnstNotTsFlag = = 1 &&     ( treeType = = DUAL_TREE_CHROMA | | !intra_mip_flag[ x0 ][ y0 ] | |      Min( lfnstWidth, lfnstHeight ) >= 16 ) &&     Max( cbWidth, cbHeight ) <= MaxTbSizeY ) {    if( ( IntraSubPartitionsSplitType != ISP_NO_SPLIT | | LfnstDcOnly = = 0 ) &&      LfnstZeroOutSigCoeffFlag = = 1 )     lfnst_idx ae(v)   }   if( treeType != DUAL_TREE_CHROMA && lfnst_idx = = 0 &&     transform_skip_flag[ x0 ][ y0 ][ 0 ] = = 0 && Max( cbWidth, cbHeight ) <= 32 &&     IntraSubPartitionsSplitType = = ISP_NO_SPLIT && cb_sbt_flag = = 0 &&     MtsZeroOutSigCoeffFlag = = 1 && MtsDcOnly = = 0 ) {    if( ( ( CuPredMode[ chType ][ x0 ][ y0 ] = = MODE_INTER &&      sps_explicit_mts_inter_enabled_flag ) | |      ( CuPredMode[ chType ][ x0 ][ y0 ] = = MODE_INTRA &&      sps_explicit_mts_intra_enabled_flag ) ) )     mts_idx ae(v)   }  } }

Variables for lfnst_idx signalling in the table are shown as follows.

1. (IntraSubPartitionsSplitType !=ISP_NO_SPLIT∥LfnstDcOnly==0): When the ISP mode is applied or a value of the variable LfnstDcOnly is 0, lfnst_idx may be signaled.

Here, the value of the variable LfnstDcOnly is set to 1 when the non-zero transform coefficient exists at a location other than (outside) the DC position (top-left position where both x- and y-coordinates are 0 for corresponding transform block, the x-coordinate increases from left to right within the transform block, the y-coordinate increases from top to bottom within the transform block) for any one component among components belonging to the currently coded coding unit (Y component in the case of a luma separate tree, Cb component and Cr component in the case of a chroma separate tree, and Y component, Cb component and Cr component in the case of a single tree), and set to 1 otherwise.

2. LfnstZeroOutSigCoeffFlag==1: a value of LfnstZeroOutSigCoeffFlag value is set to 0 when there is a transform coefficient other than a region where a transform coefficient generated by applying forward LFNST can exist even in at least one component belonging to the currently coded coding unit, otherwise set to 1. Here, the “the region where the transform coefficients generated by applying the forward LFNST can exist” is basically the top-left 4×4 region for each transform block, and in the case of a 4×4 transform block and an 8×8 transform block, only 8 transform coefficients can exist from the DC position in a transform coefficient scan order in the top-left 4×4 region.

As described above, the value of the variable LfnstDcOnly and the value of the variable LfnstZeroOutSigCoeffFlag may be updated by all components belonging to the currently coded coding unit.

The transform tree syntax table invoked in Table 10 is shown in Table 11, and the transform tree invokes the transform_unit syntax table as shown in Table 11, and the invoking associated with LFNST is the same as underlined (A), (B), (C) in Table 11.

In Table 11, (A) represents invoking transform unit for a case where ISP (Intra SubPartitions) is not applied, (B) represents invoking transform unit for a case where the ISP is applied and partition blocks are divided in a horizontal direction, (C) represents invoking transform unit for the case where the ISP is applied and partition blocks are partitioned in a vertical direction. In Table 11, the variable NumIntraSubPartitions indicates the number of divided partition blocks when ISP is applied.

TABLE 11 Descriptor transform_tree( x0, y0, tbWidth, tbHeight, treeType, chType ) {  InferTuCbfLuma = 1  if( IntraSubPartitionsSplitType = = ISP_NO_SPLIT && !cu_sbt_flag ) {   if( tbWidth > MaxTbSizeY | | tbHeight > MaxTbSizeY ) {    verSplitFirst = ( tbWidth > MaxTbSizeY && tbWidth > tbHeight ) ? 1 : 0    trafoWidth = verSplitFirst ? ( tbWidht / 2 ) : tbWidth    trafoHeight = !verSplitFirst ? ( tbHeight / 2 ) : tbHeight    transform_tree( x0, y0, trafoWidth, trafoHeight, treeType, chType )    if( verSplitFirst )     transform_tree( x0 + trafoWidth, y0, trafoWidth, trafoHeight, treeType, chType )    else     transform_tree( x0, y0 + trafoHeight, trafoWidth, trafoHeight, treeType, chType )   } else {    transform_unit( x0, y0, tbWidth, tbHeight, treeType, 0, chType ) .....(A)   }  } else if( cu_sbt_flag )   if( !cu_sbt_horizontal_flag ) {    trafoWidth = tbWidth * SbtNumFourthsTb0 / 4    transform_unit( x0, y0, trafoWidth, tbHeight, treeType, 0, 0 )  transform_unit( x0 + trafoWidth, y0, tbWidth − trafoWidth, tbHeight, treeType, 1, 0 )   } else {    trafoHeight = tbHeight * SbtNumFourthsTb0 / 4    transform_unit( x0, y0, tbWidth, trafoHeight, treeType, 0, 0 )  transform_unit( x0, y0 + trafoHeight, tbWidth, tbHeight − trafoHeight, treeType, 1, 0 )   }   else if( IntraSubPartitionsSplitType = = ISP_HOR_SPLIT ) {   trafoHeight = tbHeight / NumIntraSubPartitions   for( partIdx = 0; partIdx < NumIntraSubPartitions, partIdx++ )  transform_unit( x0, y0 + trafoHeight * partIdx, tbWidth, trafoHeight, treeType, partIdx, 0 ) .....(B)  } else if( IntraSubPartitionsSplitType = = ISP_VER_SPLIT ) {   trafoWidth = tbWidth / NumIntraSubPartitions   for( partIdx = 0; partIdx < NumIntraSubPartitions; partIdx++ )  transform_unit( x0 + trafoWidth * partIdx, y0, trafoWidth, tbHeight, treeType, partIdx, 0 ) ......(C)  } }

Table 12 shows a transform unit syntax table, and as shown in Table 12, a residual_coding syntax table is invoked from the transform unit syntax table.

As shown in Table 12, in the residual coding, the residual coding syntax table can be invoked only when a value of the coded block flag (CBF) for each component is 1, where CBF is 0 if non-existent transform coefficients exist inside the transform block for the corresponding component, otherwise, CBF is 0.

In Table 12, tu_y_coded_flag[x0][y0] for the Y component, tu_cb_coded_flag[xC][yC] for the Cb component, and tu_cr_coded_flag[xC][yC] for the Cr component is the CBF for the corresponding component, respectively. Here, x0 and y0 represent the x-coordinate value and y-coordinate value, respectively, in the luma picture for the corresponding luma transform block, and xC and yC represent the x-coordinate value and y-coordinate value, respectively, in the chroma picture for the corresponding chroma transform block (Cb transform block or Cr transform block). In this case, the x-coordinate increases from left to right in the picture, and the y-coordinate increases from top to bottom in the picture.

TABLE 12 Descriptor transform_tree( x0, y0, tbWidth, tbHeight, treeType, subTuIndex, chType ) {  if( IntraSubPartitionsSplitType != ISP_NO_SPLIT &&    treeType = = SINGLE_TREE && subTuIndex = = NumIntraSubPartitions − 1 ) {   xC = CbPosX[ chType ][ x0 ][ y0 ]   yC = CbPosY[ chType ][ x0 ][ y0 ]   wC = CbWidth[ chType ][ x0 ][ y0 ] / SubWidthC   hC = CbHeight[ chType ][ x0 ][ y0 ] / SubHeightC  } else {   xC = x0   yC = y0   wC = tbWidth / SubWidthC   hC = tbHeight / SubHeightC  }  chromaAvailable = treeType != DUAL_TREE_LUMA && ChromaArrayType != 0 &&   ( IntraSubPartitionsSplitType = = ISP_NO_SPLIT | |   ( IntraSubPartitionsSplitType != ISP_NO_SPLIT &&   subTuIndex = = NumIntraSubPartitions − 1 ) )  if( ( treeType = = SINGLE_TREE | | treeType = = DUAL_TREE_CHROMA ) &&    ChromaArrayType != 0 && ( IntraSubPartitionsSplitType = = ISP_NO_SPLIT &&    ( ( subTuIndex = = 0 && cu_sbt_pos_flag ) | |    ( subTuIndex = = 1 && !cu_sbt_pos_flag ) ) ) | |    ( IntraSubPartitionsSplitType != ISP_NO_SPLIT &&    ( subTuIndex = = NumIntraSubPartitions − 1 ) ) ) {   tu_cb_coded_flag[ xC ][ yC ] ae(v)   tu_cr_coded_flag[ xC ][ yC ] ae(v)  }  if( treeType = = SINGLE_TREE | | treeType = = DUAL_TREE_LUMA ) {   if( ( IntraSubPartitionsSplitType = = ISP_NO_SPLIT && !( cu_sbt_flag &&     ( ( subTuIndex = = 0 && cu_sbt_pos_flag ) | |     ( subTuIndex = = 1 && !cu_sbt_pos_flag ) ) ) &&     ( CuPredMode[ chType ][ x0 ][ y0 ] = = MODE_INTRA | |     ( chromaAvailable && ( tu_cb_coded_flag[ xC ][ yC ] | |     tu_cr_coded_flag[ xC ][ yC ] ) ) | |     CbWidth[ chType ][ x0 ][ y0 ] > MaxTbSizeY | |     ChHeight[ chType ][ x0 ][ y0 ] > MaxTbSizeY ) ) | |     ( IntraSubPartitionsSplitType != ISP_NO_SPLIT &&     ( subTuIndex < NumIntraSubPartitions − 1 | | !InferTuCbfLuma ) ) )    tu_y_coded_flag[ x0 ][ y0 ] ae(v)   if(IntraSubPartitionsSplitType != ISP_NO_SPLIT )    InferTuCbfLuma = InferTuCbfLuma && !tu_y_coded_flag[ x0 ][ y0 ]  }  ......  if( tu_y_coded_flag[ x0 ][ y0 ] && treeType != DUAL_TREE_CHROMA ) {   if( sps_transform_skip_enabled_flag && !BdcmFlag[ x0 ][ y0 ][ 0 ] &&     tbWidth <= MaxTsSize && tbHeight <= MaxTsSize &&     ( IntraSubPartitionsSplitType = = ISP_NO_SPLIT ) && !cu_sbt_flag )    transform_skip_flag[ x0 ][ y0 ][ 0 ] ae(v)   if( !transform_skip_flag[ x0 ][ y0 ][ 0 ] | | slice_ts_residual_coding_disabled_flag )    residual_coding( x0, y0, Log2( tbWidth ), Log2( tbHeight ), 0 )   else    residual_ts_coding( x0, y0, Log2( tbWidth ), Log2( tbHeight ), 0 )  }  if( tu_cb_coded_flag[ xC ][ yC ] && treeType != DUAL_TREE_LUMA ) {   if( sps_transform_skip_enabled_flag && !BdpcmFlag[ x0 ][ y0 ][ 1 ] &&     wC <= MaxTsSize && hC <= MaxTsSize && !cu_sbt_flag )    transform_skip_flag[ x0 ][ y0 ][ 1 ] ae(v)   if( !transform_skip_flag[ x0 ][ y0 ][ 1 ] | | slice_ts_residual_coding_disabled_flag )    residual_coding( xC, yC, Log2( wC ), Log2( hC ), 1 )   else    residual_ts_coding( xC, yC, Log2( wC ), Log2( hC ), 1 )  }  if( tu_cb_coded_flag[ xC ][ yC ] && treeType != DUAL_TREE_LUMA &&    !( tu_cb_coded_flag[ xC ][ yC ] && tu_joint_cbcr_residual_flag[ xC ][ yC ] ) ) {    if( sps_transform_skip_enabled_flag && !BdpcmFlag[ x0 ][ y0 ][ 2 ] &&     wC <= MaxTsSize && hC <= MaxTsSize && !cu_sbt_flag )    transform_skip_flag[ xC ][ yC ][ 2 ] ae(v)   if( !transform_skip_flag[ xC ][ yC ][ 2 ] | | slice_ts_residual_coding_disabled_flag )    residual_coding( xC, yC, Log2( wC ), Log2( hC ), 2 )   else    residual_ts_coding( xC, yC, Log2( wC ), Log2( hC ), 2 )  } }

On the other hand, in Table 12, even if the value of the transform skip flag for each component (transform_skip_flag[x0][y0][1][0], transform_skip_flag[xC][yC][1], transform_skip_flag[xC][yC][2] for Y component, Cb component, Cr component, respectively) is 1, when the value of the slice_ts_residual_coding_disabled_flag is 1, residual coding may be invoked. The same as Table 10, Since LFNST is not applied when at least one component having a transform skip flag value of 1 exists (LFNST index is not signaled and is inferred as 0), LfnstDcOnly and LfnstZeroOutSigCoeffFlag updated by residual coding do not affect LFNST index signaling. If at least one component having a transform skip flag value of 1 exists, since the lfnstNotTsFlag value in Table 10 becomes 0, the LFNST index is not signaled.

As shown in Table 12, residual coding may be invoked for each Y, Cb, Cr component. Accordingly, in the case of the single tree, residual coding for Y, Cb, Cr components may all be invoked in one transform unit.

From Tables 11 and 12, how the residual coding may be invoked for various cases is summarized as follows. Here, if the CBF value of a component is 0, residual coding is not invoked for the corresponding component, but for convenience of description, it is assumed that the CBF values of all components are non-zero. That is, it is assumed that residual coding is invoked.

1. Luma separate tree(dual tree luma)

1-1) When ISP is not applied: invokes residual coding for the Y component

1-2) When ISP is applied: invokes residual coding for each of ISP partition blocks configuring the Y component

2. Chroma separate tree(dual tree chroma): invokes residual coding for each of Cb component and Cr component

3. Single tree

3-1) When ISP is not applied: invokes residual coding for each of Y component, Cb component and Cr component

3-2) When ISP is applied: invokes residual coding for each of ISP partition blocks configuring the Y component, invokes residual coding for each of Cb component and Cr component

Table 13 shows a residual coding syntax table, and the variable LfnstDcOnly and the variable LfnstZeroOutSigCoeffFlag may be updated in the residual coding.

TABLE 13 Descriptor residual coding x0, y0, log2TbWidth, log2TbHeight, cIdx ) {  if( sps_mts_enabled_flag && cu_sbt_flag && cIdx = = 0 &&    log2TbWidth = = 5 && log2TbHeight < 6 )   log2ZoTbWidth = 4  else   log2ZoTbWidth = Min( log2TbWidth, 5 )  if( sps_mts_enabled_flag && cu_sbt_flag && cIdx = = 0 &&    log2TbWidth < 6 && log2TbHeight = = 5 )   log2ZoTbHeight = 4  else   log2ZoTbHeight = Min( log2TbHeight, 5 )  if( log2TbWidth > 0 )   last_sig_coeff_x_prefix ae(v)  if( log2TbHeight > 0 )   last_sig_coeff_y_prefix ae(v)  if( last_sig_coeff_x_prefix > 3 )   last_sig_coeff_x_suffix ae(v)  if( last_sig_coeff_y_prefix > 3 )   last_sig_coeff_y_suffix ae(v)  log2TbWidth = log2ZoTbWidth  log2TbHeight = log2ZoTbHeight  remBinsPass1 = ( (1 << ( log2TbWidth + log2TbHeight ) ) * 7 ) >> 2  log2SbW = ( Min( log2TbWidth, log2TbHeight ) < 2 ? 1 : 2 )  log2SbH = log2SbW  if( log2TbWidth + log2TbHeight > 3 )   if( log2TbWidth < 2 ) {    log2SbW = log2TbWidth    log2SbH = 4 − log2SbW   } else if( log2TbHeight < 2 ) {    log2SbH = log2TbHeight    log2SbW = 4 − log2SbH   }  numSbCoeff = 1 << ( log2SbW + log2SbH )  lastScanPos = numSbCoeff  lastSubBlock = ( 1 << ( log2TbWidth + log2TbHeight − ( log2SbW + log2SbH ) ) ) − 1  do {   if( lastScanPos = = 0 ) {    lastScanPos = numSbCoeff    lastSubBlock− −   }   lastScanPos− −   xS = DiagScanOrder[ log2TbWidth − log2SbW ][ log2TbHeight − log2SbH ]     [ lastSubBlock ][ 0 ]   yS = DiagScanOrder[ log2TbWidth − log2SbW ][ log2TbHeight − log2SbH ]     [ lastSubBlock ][ 1 ]   xC = ( xS << log2SbW ) + DiagScanOrder[ log2SbW ][ log2SbH ][ lastScanPos ][ 0 ]   yC = ( yS << log2SbH ) + DiagScanOrder[ log2SbW ][ log2SbH ][ lastScanPos ][ 1 ]  } while( ( xC != LastSignificantCoeffX ) | | ( yC != LastSignificantCoeffY ) )  if( lastSubBlock = = 0 && log2TbWidth >= 2 && log2TbHeight >= 2 &&    !transform skip flag[ x0 ][ y0 ][ cIdx ] && lastScanPos > 0 )   LfnstDcOnly = 0  if( ( lastSubBlock > 0 && log2TbWidth >= 2 && log2TbHeight >= 2 ) | |    ( lastScanPos > 7 && ( log2TbWidth = = 2 | | log2TbWidth = = 3 ) &&    log2TbWidth = = log2TbHeight ) )   LfnstZeroOutSigCoeffFlag = 0  ...... }

As shown in Table 13, the variable LfnstDcOnly may be updated to 0, when the position of the last non-zero coefficient exists in the top-left 4x4 block of the corresponding transform block (lastSubBlock==0), and the size of the corresponding transform block is 4×4 or more (log2TbWidth>=2 && log2TbHeight>=2, that is, when the horizontal length is 4 or more and the vertical length is 4 or more, because the minimum size to which LFNST can be applied is 4×4), and transform skip is not applied (!transform_skip_flag[x0][y0][cIdx]), and the position of the last non-zero coefficient is not a DC position (lastScanPos>0).

As shown in Table 10, the value of the variable LfnstDcOnly is initialized to 1 before the transform tree is invoked, and may be conditionally updated to 0 when the residual coding in Table 13 is invoked.

As described above, depending on whether the tree type of the current block is a luma sperate tree, a chroma sperate tree, or a single tree, depending on whether the ISP is applied, the residual coding is invoked for which components and which partition blocks is different, and only when the CBF value for the corresponding component or partition block is 1, the corresponding residual coding can be invoked.

For reference, in Table 13, x0 and y0 indicate x and y coordinates for the current luma (chroma) transform block in a luma (chroma) picture, and cIdx indicates a color component. A cIdx value of 0 indicates a Y component, a value of 1 indicates a Cb component, and a value of 2 indicates a Cr component.

As shown in Table 13, LfnstZeroOutSigCoeffFlag initialized to 1 in Table 10 is updated to 0 when forward LFNST is applied and a transform coefficient is found in a region other than a region in which transform coefficients can exist.

Accordingly, if a transform coefficient exists in “a region other than a region in which transform coefficients can exist when forward LFNST is applied” with respect to any one of transform blocks configuring the current coding unit, LfnstZeroOutSigCoeffFlag is updated to 0.

Also, if CBF is 0 for a certain transform block, residual coding is not invoked for the corresponding transform block, so the corresponding transform block does not contribute to updating the value of the LfnstZeroOutSigCoeffFlag. More specifically, in Table 13, if a non-zero transform coefficient is found in any transform block other than the top-left 4×4 block (lastSubBlock>0 && log2TbWidth>=2 && log2TbHeight>=2), or in the case of a 4×4 transform block or an 8×8 transform block, if a non-zero transform coefficient is found in the ninth or more in the scan order (lastScanPos>7 && (log2TbWidth==2∥log2TbWidth==3) && log2TbWidth==log2TbHeight), LfnstZeroOutSigCoeffFlag may be updated to 0.

As a result, the LfnstZeroOutSigCoeffFlag value of 1 means that all components configuring the current coding unit satisfy the LFNST zero out condition (that is, condition that non-zero transform coefficients have to exist only for a region in which non-zero transform coefficients can exist when forward LFNST is applied), and the LfnstZeroOutSigCoeffFlag value of 0 means that at least one of the components configuring the current coding unit does not satisfy the LFNST zero out condition. For reference, when ISP is applied, the LFNST zero out condition have to be satisfied for all of the ISP partition blocks in order for the LfnstZeroOutSigCoeffFlag value to be 1.

Meanwhile, according to an example, in the case of the single tree, LFNST is applied only to the luma (Y) component. Table 14 shows the specification text to apply LFNST only to the Y component in the case of the single tree through the variable ApplyLfnstFlag.

TABLE 14 ...... lfnst_idx specifies whether and which one of the two low frequency non-separable transform kernels in a selected transform set is used. lfnst_idx equal to 0 specifies that the low frequency non-separable transform is not used in the current coding unit. When lfnst_idx is not present, it is inferred to be equal to 0. The variable ApplyLfnstFlag is derived as follows: - If treeType is equal to SINGLE_TREE, the following applies:  ApplyLfnstFlag = ( lfnst_idx > 0 && cIdx = = 0 ) ? 1 : 0  (176) - Otherwise, the following applies:  ApplyLfnstFlag = ( lfnst_idx > 0 ) ? 1 : 0  (177) ...... 8.7.4 Transformation process for scaled transform coefficients 8.7.4.1 General Inputs to this process are: - a luma location ( xTbY, yTbY ) specifying the top left sample of the current luma transform block relative to the top left luma sample of the current picture, - a variable nTbW specifying the width of the current transform block, - a variable nTbH specifying the height of the current transform block, - a variable cIdx specifying the colour component of the current block, - an (nTbW)x(nTbH) array d[ x ][ y ] of scaled transform coefficients with x = 0..nTbW − 1, y = 0..nTbH − 1. Output of this process is the (nTbW)x(nTbH) array res[ x ][ y ] of residual samples with x = 0..nTbW − 1, y = 0..nTbH − 1. When ApplyLfnstFlag is equal to 1, transform_skip_flag[ xTbY ][ yTbY ][ cIdx ] is equal to 0 and both nTbW and nTbH are greater than or equal to 4, the following applies: - The variables predModeIntra, nLfnstOutSize, log2LfnstSize, nLfnstSize, and nonZeroSize are derived as follows: predModeIntra = ( cIdx = = 0 ) ? IntraPredModeY[ xTbY ][ yTbY ] : IntraPredModeC[ xTbY ][ yTbY ](11 78) nLfnstOutSize = ( nTbW >= 8 && nTbH >= 8 ) ? 48 : 16 (1179) log2LfnstSize = ( nTbW >= 8 && nTbH >= 8 ) ? 3 : 2 (1180) nLfnstSize = 1 << log2LfnstSize (1181) nonZeroSize = ( ( nTbW = = 4 && nTbH = = 4 ) | | ( nTbW = = 8 && nTbH = = 8 ) ) ? 8 : 16 (1182) - When intra_mip_flag[ xTbY ][ yTbY ] is equal to 1 and cIdx is equal to 0, predModeIntra is set equal to INTRA_PLANAR. - When predModeIntra is equal to either INTRA_LT_CCLM, INTRA_L_CCLM, or INTRA_T_CCLM, predModeIntra is derived as follows: - If intra_mip_flag[ xTbY + nTbW * SubWidthC / 2 ][ yTbY + nTbH * SubHeightC / 2 ] is equal to 1, predModeIntra is set equal to INTRA_PLANAR. - Otherwise, if CuPredMode[ 0 ][ xTbY + nTbW * SubWidthC / 2 ][ yTbY + nTbH * SubHeightC / 2 ] is equal to MODE_IBC or MODE_PLT, predModeIntra is set equal to INTRA_DC. - Otherwise, predModeIntra is set equal to IntraPredModeY[ xTbY + nTbW * SubWidthC / 2 ][ yTbY + nTbH * SubHeightC / 2 ]. - The wide angle intra prediction mode mapping process as specified in clause 8.4.5.2.6 is invoked with predModeIntra, nTbW, nTbH and cIdx as inputs, and the modified predModeIntra as output. - The values of the list u[ x ] with x = 0..nonZeroSize − 1 are derived as follows:  xC =  DiagScanOrder[ 2 ][ 2 ][ x ][ 0 ] (1183)  yC =  DiagScanOrder[ 2 ][ 2 ][ x ][ 1 ] (1184)  u[ x ] = d[ xC ][ yC ] (1185) - The one-dimensional low frequency non-separable transformation process as specified in clause 8.7.4.2 is invoked with the input length of the scaled transform coefficients nonZeroSize, the transform output length nTrS set equal to nLfnstOutSize, the list of scaled

 tranform coefficients u[ x ] with x = 0..nonZeroSize − 1, and the intra prediction mode for LFNST set selection predModeIntra as inputs, and the list v[ x ] with x = 0..nLfnstOutSize − 1 as output. - The array d[ x ][ y ] with x = 0..nLfnstSize − 1, y = 0..nLfnstSize − 1 is derived as follows: - If predModeIntra is less than or equal to 34, the following applies:   d[ x ][ y ] = ( y < 4 ) ? v[ x + ( y << log2LfnstSize ) ] : (1186)    ( ( x < 4 ) ? v[ 32 + x + ( ( y − 4 ) << 2 ) ] : d[ x ][ y ] ) - Otherwise, the following applies:   d[ x ][ y ] = ( x < 4 ) ? v[ y + ( x << log2LfnstSize ) ] : (1187)    ( ( y < 4 ) ? v[ 32 + y + ( ( x − 4 ) << 2 ) ] : d[ x ][ y ] ) ......

In Table 14, lfnst_idx represents an LFNST index, a value of the lfnst_idx being 0 indicates that LFNST is not applied, and the value of the lfnst_idx being greater than 0 indicates that LFNST is applied. cIdx represents the color component as described above.

As shown in Table 14, LFNST is applied only when the value of the ApplyLfnstFlag is 1, and ApplyLfnstFlag can be 1 only in the case of the single tree (treeType==SINGLE_TREE) and the luma component (cIdx==0).

As shown in Table 10, lfnst_idx can be signaled only when a specific condition is satisfied. In the case of the single tree, although LFNST is applied only to the Y component, LFNST index signaling may be affected by the Cb component and the Cr component.

More specifically, in Table 10, whether to signal lfnst_idx may be determined by the variable LfnstDcOnly and the variable LfnstZeroOutSigCoeffFlag, and the two variables are updated by the residual coding syntax table invoked according to Table 10, Table 11, Table 12, and Table 13. Since the residual coding may be invoked for each color component included in the currently coded coding unit, for example, in the case of a single tree, the variable LfnstDcOnly and the variable LfnstZeroOutSigCoeffFlag may be updated by the residual coding for the Y component, the residual for the Cb component, the residual coding for the Cr component.

In addition, since the CBF value is 0 for the Y component, the residual coding for the Y component is not invoked, but when the residual coding is invoked for the Cb component and the Cr component so that the value of the variable LfnstDcOnly is updated to 0 and the value of the LfnstZeroOutSigCoeffFlag is maintained as 1 (i.e., when the zero-out condition about LFNST for the Cb component and Cr component is satisfied, in other words, when a non-zero transform coefficient exists only within a region where a non-zero transform coefficient can exist when forward LFNST is applied), lfnst_idx may be signaled as shown in Table 10. In the case of the single tree, LFNST may be applied only to the Y component, and since the CBF value for the Y component is 0, the signaled lfnst_idx is not used. That is, in the case of the single tree, LFNST may be applied only to the Y component, but since the CBF value for the Y component is 0, lfnst_idx is not used.

Therefore, as shown in Table 15, it is possible to configure the LFNST index to be signaled only when it is 1 for the Y component (remaining parts other than the part suggested in Table 15 are the same as in Table 10).

TABLE 15  if( Min( lfnstWidth, lfnstHeight ) >= 4 && sps_lfnst_enabled_flag = = 1 &&    CuPredMode[ chType ][ x0 ][ y0 ] = = MODE_INTRA && lfnstNotTsFlag = = 1 &&    ( treeType = = DUAL_TREE_CHROMA | | !intra_mip_flag[ x0 ][ y0 ] | |     Min( lfnstWidth, lfnstHeight ) >= 16 ) &&    Max( cbWidth, cbHeight ) >= MaxTbSizeY) {   if( ( IntraSubPartionsSplitType != ISP_NO_SPLIT | | LfnstDcOnly = = 0 ) && LfnstZeroOutSigCoeffFlag = = 1 && ( treeType != SINGLE_TREE | |      IntraSubPartionsSplitType != ISP_NO_SPLIT | | tu_y_coded_flag[ x0 ][ y0 ] ) )    lfnst_idx ae(v)  }

The conditions added in Table 15 compared to Table 10 are as follows. The LFNST index may be signaled only when at least one of the following conditions is satisfied.

1. When not a single tree (treeType !=SINGLE_TREE, that is, when a luma seperate tree or a chroma seperate tree)

2. When ISP is applied for the Y component in the case of the single tree (IntraSubPartitionsSplitType !=ISP_NO_SPLIT)

When the ISP mode is applied in the current VVC standard, it is guaranteed that the corresponding CBF value is 1 for at least one of ISP partition blocks.

3. In the case of a single tree, when ISP is not applied for the Y component and the CBF value for the corresponding Y component is 1 (tu_y_coded_flag[x0][y0])

Therefore, if the conditions suggested in Table 15 are followed, LFNST may be applied only when the CBF for the Y component is 1 in the case of the single tree, and the signaled LFNST index may be substantially used to apply the LFNST.

In Table 15, since the condition to which the ISP is applied (IntraSubPartitionsSplitType !=ISP_NO_SPLIT) appears twice, the same condition as in Table 15 may be briefly described as in Table 16.

TABLE 16  if( Min( lfnstWidth, lfnstHeight ) >= 4 && sps_lfnst_enabled_flag = = 1 &&    CuPredMode[ chType ][ x0 ][ y0 ] = = MODE_INTRA && lfnstNotTsFlag = = 1 &&    ( treeType = = DUAL_TREE_CHROMA | | !intra_mip_flag[ x0 ][ y0 ] | |     Min( lfnstWidth, lfnstHeight ) >= 16 ) &&    Max( cbWidth, cbHeight ) >= MaxTbSizeY) {   if( LfnstZeroOutSigCoeffFlag = = 1 &&    ( IntraSubPartionsSplitType != ISP_NO_SPLIT | | ( LfnstDcOnly = = 0 &&      ( treeType != SINGLE_TREE | | tu_y_coded_flag[ x0 ][ y0 ] ) ) )    lfnst_idx ae(v)  }

Hereinafter, when applying LFNST only to the luma component in the case of the single tree, a method for assigning a bitstream conformance constraint to the LFNST index value when a non-zero coefficient for the luma component does not exist is shown.

As described in the previous embodiments, according to an example, the case of signaling the LFNST index may occur even if the CBF value for the luma component is 0 in the case of the single tree. Accordingly, when the corresponding case occurs as shown in Tables 15 to 16, the lfnst_idx value may be inferred to be 0 without signaling the LFNST index (lfnst_idx).

In this embodiment, unlike the embodiments described with reference to Tables 15 to 16, while signaling the LFNST index according to the existing syntax table as shown in Table 10, when the CBF value for the luma component is 0 in a single tree, it is specified that the LFNST index value is signaled as 0.

That is, the method proposed in this embodiment may be expressed as a method of adding a bitstream constraint for lfnst_idx as shown in Table 17.

TABLE 17 7.4.11.5 Coding unit semantics ...... lfnst_idx specifies whether and which one of the two low frequency non-separable transform kernels in a selected transform set is used. lfnst_idx equal to 0 specifies that the low frequency non-separable transform is not used in the current unit. When lfnst_idx is not present, it is inferred to be equal to 0. The variable ApplyLfnstFlag is derived as follows: - If treeType is equal to SINGLE_TREE, the following applies: ApplyLfnstFlag = ( lfnst_idx > 0 && cIdx = = 0 ) ? 1 : 0 (176) - Otherwise, the following applies: ApplyLfnstFlag = ( lfnst_idx > 0 ) ? 1 : 0 (177) It is a requirement of bitstream conformance that the value of lfnst_idx shall be 0 if all of the following conditions are true. - treeType is equal to SINGLE_TREEE. - IntraSubPartitionsSplitType is equal to ISP_NO_SPLIT. - tb_y_coded_flag[ x0 ][ y0 ] is equal to 0 ......

The contents of the bitstream constraint in Table 17 will be described in detail as follows.

1. When coded using the single tree, since it is guaranteed that a non-zero transform coefficient exists in the luma component if ISP is applied, signaling of the LFNST index is allowed.

2. tu_y_coded_flag[x0][y0] is the same as tu_y_coded_flag[x0][y0] of Tables 15 to 16.

3. When coded using the single tree, since there is not a non-zero transform coefficient in the luma component if ISP is not applied and a value of the tu_y_coded_flag[x0][y0] is 0, the value of lfnst_idx has to be 0 as the constraint in Table 17.

In this case, the LFNST index may or may not be signaled according to a result of parsing transform coefficients for chroma components (i.e., according to a result of performing residual coding in Table 13). However, when not signaled, the bitstream constraint is satisfied because it is inferred as 0 as described in Table 17.

The following drawings are provided to describe specific examples of the present disclosure. Since specific terms for devices or specific terms for signals/messages/fields illustrated in the drawings are provided for illustration, technical features of the present disclosure are not limited to the specific terms used in the following drawings.

FIG. 12 is a flowchart illustrating an operation of a video decoding apparatus according to an embodiment of the present disclosure.

Each process disclosed in FIG. 12 is based on some of details described with reference to FIG. 1 to FIG. 11 . Therefore, a description of specific details overlapping those described with reference to FIG. 1 to FIG. 11 will be omitted or will be schematically made.

The decoding apparatus 200 according to an embodiment may receive residual information from a bitstream (S1210).

Specifically, the decoding apparatus 200 may decode information on quantized transform coefficients for the current block from the bitstream and may derive quantized transform coefficients for a target block based on the information on the quantized transform coefficients for the current block. Information on the quantized transform coefficients for the target block may be included in a sequence parameter set (SPS) or a slice header and may include at least one of information on whether an RST is applied, information on a reduced factor, information on a minimum transform size for applying an RST, information on a maximum transform size for applying an RST, an inverse RST size, and information on a transform index indicating any one of transform kernel matrices included in a transform set.

The decoding apparatus may further receive information on an intra prediction mode for the current block and information on whether an ISP is applied to the current block. The decoding apparatus may receive and parse flag information indicating whether to apply ISP coding or an ISP mode, thereby deriving whether the current block is split into a predetermined number of sub-partition transform blocks. Here, the current block may be a coding block. Further, the decoding apparatus may derive the size and number of split sub-partition blocks through flag information indicating a direction in which the current block is split.

The decoding apparatus 200 may derive transform coefficients by performing inverse quantization on residual information for the current block, that is, quantized transform coefficients (S1220).

The derived transform coefficients may be arranged in 4×4 block units according to a reverse diagonal scan order, and transform coefficients in a 4×4 block may also be arranged according to the reverse diagonal scan order. That is, the dequantized transform coefficients may be arranged according to the reverse scan order applied in a video codec, such as in VVC or HEVC.

The decoding apparatus may derive modified transform coefficients by applying LFNST to the transform coefficients.

LFNST is a non-separated transform that applies the transform without separating the coefficients in a specific direction, unlike the first transform that separates and transforms the transform target coefficients in a vertical or horizontal direction. This non-separated transform may be a low-frequency non-separated transform that applies a forward transform only to a low-frequency region rather than the entire block region.

LFNST index information may be received as syntax information, and the syntax information may be received as a binarized bin string including 0 and 1.

The syntax element of the LFNST index according to the present embodiment may indicate whether an inverse LFNST or an inverse non-separated transform is applied and any one of a transform kernel matrix included in a transform set. When the transform set includes two transform kernel matrices, the syntax element of the transform index may have three values.

That is, according to an embodiment, the values of the syntax element for the LFNST index may include 0 indicating a case in which the inverse LFNST is not applied to the target block, 1 indicating a first transform kernel matrix among the transform kernel matrices, and 2 indicating a second transform kernel matrix among the transform kernel matrices.

The intra prediction mode information and LFNST index information may be signaled in a coding unit level.

The decoding apparatus may check various conditions in order to apply the LFNST to the current block.

First, the decoding apparatus may determine whether the tree type of the current block is the single tree (S1230).

If the tree type of the current block is the single tree, the color component of the current block may include a luma component, a first chroma component indicating chroma Cb, and a second chroma component indicating chroma Cr. If the tree type is dual tree luma, the current block may include a luma component. If the tree type of the current block is dual tree chroma, the color component of the current block may include a first chroma component and a second chroma component.

If the tree type of the current block is the single tree, the decoding apparatus may parse the LFNST index based on a value of a transform coefficient coding flag for the luma component of the current block or whether the ISP mode is applied to the luma component (S1240).

The decoding apparatus may parse the LFNST index when the tree type of the current block is the single tree, if the value of the transform coefficient coding flag for the luma component is 1 or the ISP mode is applied to the luma component. That is, when the tree type of the current block is the single tree, if the transform coefficient coding flag value for the luma component is 1 or the ISP mode is applied to the luma component, LFNST is applied and the LFNST index may be signaled.

According to the current VVC standard, although LFNST is applied only to the luma component, LFNST index signaling may be affected by the chroma such as the Cb component and the Cr component. For example, in the case of the single tree, the variable LfnstDcOnly and the variable LfnstZeroOutSigCoeffFlag may be updated by residual coding for the luma component, residual coding for the Cb component, and residual coding for the Cr component.

Even though the residual coding for the luma component is not invoked because the CBF value for the luma component is 0, residual coding may be invoked for the Cb component and the Cr component so that the variable LfnstDcOnly value may be updated to 0. In this case, when the LfnstZeroOutSigCoeffFlag value is maintained as 1, lfnst_idx may be signaled as shown in Table 10. In the case of the single tree, LFNST may be applied only to the Y component, and since the CBF value for the Y component is 0, the signaled lfnst_idx is not used.

Accordingly, according to an example, the LFNST index may be signaled only when the CBF value for the luma component is 1.

In addition, since the CBF value is guaranteed to be 1 for at least one of the ISP partition blocks when the ISP mode is applied in the current VVC standard, when the ISP mode is applied to the current block, the LFNST index may be parsed.

On the other hand, when the tree type is dual tree chroma, the LFNST index may be parsed regardless of the value of the transform coefficient coding flag for the luma component.

Meanwhile, according to another example, even if the tree type is the single tree, and the value of the transform coefficient coding flag for the luma component is not 1 or the ISP mode is not applied to the luma component, the LFNST index is signaled, and in this case, the value of the LFNST index may be 0. As described in Table 17, this restriction may be implicitly allowed by the decoding apparatus and the encoding apparatus as a bitstream constraint.

The bitstream constraint may be applied when 1) the tree type of the current block is the single tree, 2) is not an ISP mode, and 3) the CBF value for luma is 0.

Also, the decoding apparatus may determine whether to parse the LFNST index by further deriving another variable.

For example, the decoding apparatus may derive a first variable (variable LfnstDcOnly) indicating whether a significant coefficient exists at a position other than that of a DC component in the current block and a second variable (variable LfnstZeroOutSigCoeffFlag) indicating whether the transform coefficient exists in a second region other than a top-left first region of the current block. Further, the decoding apparatus may determine whether to apply the LFNST, that is, whether to parse the LFNST index, based on the tree type and size of the current block.

The first variable and the second variable are initially set to 1, wherein the first variable may be updated to 0 when the significant coefficient exists at the position other than that of the DC component in the current block, and the second variable may be updated to 0 when the transform coefficient exists in the second region.

When the first variable is updated to 0 and the second variable is maintained as 1, the LFNST may be applied to the current block.

For the luma component to which the intra sub-partition (ISP) mode is applicable, the LFNST index may be parsed without deriving the variable LfnstDcOnly.

Specifically, in a case where the ISP mode is applied and a transform skip flag for the luma component, i.e., transform_skip_flag[x0][y0][0], is not parsed and automatically has 0, when the tree type of the current block is the single tree or the dual tree for the luma, the LFNST index may be signaled regardless of the value of the variable LfnstDcOnly.

However, for the chroma component to which the ISP mode is not applied, the value of the variable LfnstDcOnly may be set to 0 according to the value of a transform skip flag for the chroma component Cb, transform_skip_flag[x0][y0][1], and the value of a transform skip flag for the chroma component Cr, transform_skip_flag[x0][y0][2]. That is, when the value of cIdx in transform_skip_flag[x0][y0][cIdx] is 1, the value of the variable LfnstDcOnly may be set to 0 only when the value of transform_skip_flag[x0][y0][1] is 0, and when the value of cIdx is 2, the value of the variable LfnstDcOnly may be set to 0 only when the value of transform_skip_flag[x0][y0][2] is 0. When the value of the variable LfnstDcOnly is 0, the decoding apparatus may parse the LFNST index, and otherwise, the LFNST index may be inferred to 0 without being signaled.

The second variable may be a variable LfnstZeroOutSigCoeffFlag, which may indicate that a zero-out is performed when the LFNST is applied. The second variable may be initially set to 1, and may be changed to 0 when the significant coefficient exists in the second region.

The variable LfnstZeroOutSigCoeffFlag may be derived as 0 when the index of a subblock in which the last non-zero coefficient exists is greater than 0 and both the width and the height of the transform block is equal to or greater than 4 or when the position of the last non-zero coefficient in the subblock in which the last non-zero coefficient exists is greater than 7 and the size of the transform block is 4×4 or 8×8. A subblock refers to a 4×4 block used as a coding unit in residual coding and may be referred to as a coefficient group (CG). A subblock index of 0 refers to a top-left 4×4 subblock.

That is, when a non-zero coefficient is derived in a region other than a top-left region in which an LFNST transform coefficient may exist in the transform block or a non-zero coefficient exists at a position other than an eighth position in a scanning order for a 4×4 block or 8×8 block, the variable LfnstZeroOutSigCoeffFlag is set to 0.

The decoding apparatus may determine an LFNST set including LFNST matrices based on the intra prediction mode derived from the information on the intra prediction mode, and may select any one of a plurality of LFNST matrices based on the LFNST set and the LFNST index.

Here, the same LFNST set and the same LFNST index may be applied to sub-partition transform blocks into which the current block is split. That is, since the same intra prediction mode is applied to the sub-partition transform blocks, the LFNST set determined based on the intra prediction mode may also be equally applied to all of the sub-partition transform blocks. In addition, since the LFNST index is signaled in the coding unit level, the same LFNST matrix may be applied to the sub-partition transform blocks into which the current block is split.

As described above, a transform set may be determined according to an intra prediction mode for a transform block to be transformed, and an inverse LFNST may be performed based on a transform kernel matrix, that is, any one of the LFNST matrices, included in the transform set indicated by the LFNST index. The matrix applied to the inverse LFNST may be called an inverse LFNST matrix or an LFNST matrix, and is referred to by any term as long as the matrix is the transpose of the matrix used for the forward LFNST.

In an example, the inverse LFNST matrix may be a non-square matrix in which the number of columns is less than the number of rows.

Thereafter, the decoding apparatus may derive modified transform coefficients from the transform coefficients based on the LFNST index and an LFNST matrix for the LFNST, that is, by applying the LFNST (S1250).

The decoding apparatus may determine an LFNST set including an LFNST matrix based on the intra prediction mode derived from the intra prediction mode information, and select any one of a plurality of LFNST matrices based on the LFNST set and an LFNST index.

In this case, the same LFNST set and the same LFNST index may be applied to sub-partition transformation blocks divided in the current block. That is, since the same intra prediction mode is applied to the sub-partition transform blocks, the LFNST set determined based on the intra prediction mode may also be equally applied to all sub-partition transform blocks. In addition, since the LFNST index is signaled in the coding unit level, the same LFNST matrix may be applied to the sub-partition transform blocks divided in the current block.

Meanwhile, as described above, a transform set may be determined according to an intra prediction mode of a transform block to be transformed, and the inverse LFNST may be performed based on a transform kernel matrix included in the transform set indicated by the LFNST index, that is, based on any one of the LFNST matrices. A matrix applied to the inverse LFNST may be named as an inverse LFNST matrix or an LFNST matrix, and the name of such a matrix is irrelevant as long as it has a transforce relationship with a matrix used for forward LFNST.

In one example, the inverse LFNST matrix may be a non-square matrix in which the number of columns is less than the number of rows.

The decoding apparatus may derive residual samples for the current block based on a primary inverse transform of the modified transform coefficient (S1260).

Here, as the primary inverse transform, a general separable transform may be used, or the foregoing MTS may be used.

Subsequently, the decoding apparatus 200 may generate reconstructed samples based on the residual samples for the current block and prediction samples for the current block.

The following drawings are provided to describe specific examples of the present disclosure. Since specific terms for devices or specific terms for signals/messages/fields illustrated in the drawings are provided for illustration, technical features of the present disclosure are not limited to the specific terms used in the following drawings.

FIG. 13 is a flowchart illustrating an operation of a video encoding apparatus according to an embodiment of the present disclosure.

Each process disclosed in FIG. 13 is based on some of details described with reference to FIG. 4 to FIG. 11 . Therefore, a description of specific details overlapping those described with reference to FIG. 2 and FIG. 4 to FIG. 11 will be omitted or will be schematically made.

The encoding apparatus 100 according to an embodiment may derive prediction samples for a current block based on an intra prediction mode applied to the current block.

When an ISP is applied to the current block, the encoding apparatus may perform prediction by each sub-partition transform block.

The encoding apparatus may determine whether to apply ISP coding or an ISP mode to the current block, that is, a coding block, and may determine a direction in which the current block is split and may derive the size and number of split subblocks according to a determination result.

The same intra prediction mode may be applied to sub-partition transform blocks into which the current block is split, and the encoding apparatus may derive a prediction sample for each sub-partition transform block. That is, the encoding apparatus sequentially performs intra prediction, for example, horizontally or vertically, or from left to right or from top to bottom, according to the split form of the sub-partition transform blocks. For the leftmost or uppermost subblock, a reconstructed pixel of a coding block already coded is referred to as in a conventional intra prediction method. Further, for each side of a subsequent internal sub-partition transform block, which is not adjacent to a previous sub-partition transform block, to derive reference pixels adjacent to the side, a reconstructed pixel of an adjacent coding block already coded is referred to as in the conventional intra prediction method.

The encoding apparatus 100 may derive residual samples for the current block based on the prediction samples (S1310).

The encoding apparatus 100 may derive transform coefficients for the current block by applying at least one of an LFNST or an MTS to the residual samples and may arrange the transform coefficients according to a predetermined scan order.

The encoding apparatus may derive the transform coefficients for the current block based on the primary transform of the residual samples (S1320).

The primary transform may be performed through a plurality of transform kernels as in the MTS, in which case a transform kernel may be selected based on the intra prediction mode.

The encoding apparatus 100 may determine whether to perform a secondary transform, a non-separate transform, or specifically LFNST, on transform coefficients for a current block, and may apply LFNST to the transform coefficients to derive modified transform coefficients.

The LFNST is a non-separable transform in which a transform is applied to coefficients without separating the coefficients in a specific direction, unlike a primary transform of vertically or horizontally separating coefficients to be transformed and transforming the same. This non-separable transform may be a low-frequency non-separable transform of applying transform only to a low-frequency region rather than the entire target block to be transformed.

The encoding apparatus may check various conditions to apply the LFNST to the current block.

First, the encoding apparatus may determine whether the tree type of the current block is a single tree (S1330).

If the tree type of the current block is the single tree, the color component of the current block may include a luma component, a first chroma component indicating chroma Cb, and a second chroma component indicating chroma Cr, and if the tree type is dual tree luma, the current block may include the luma component. If the tree type of the current block is dual tree chroma, the color component of the current block may include the first chroma component and the second chroma component.

If the tree type of the current block is the single tree, the encoding apparatus may determine whether LFNST is applied based on a value of a transform coefficient coding flag for the luma component of the current block or whether the ISP mode is applied to the luma component (S1340).

When the tree type of the current block is the single tree, when the value of the transform coefficient coding flag for the luma component is 1 or the ISP mode is applied to the luma component, the encoding apparatus may apply LFNST. That is, when the tree type of the current block is the single tree, when the value of the transform coefficient coding flag for the luma component is 1 or the ISP mode is applied to the luma component, LFNST may be applied.

According to the current VVC standard, although LFNST is applied only to the luma component, whether to apply LFNST may be affected by the chroma such as the Cb component and the Cr component. For example, in the case of the single tree, the variable LfnstDcOnly and the variable LfnstZeroOutSigCoeffFlag may be updated by residual coding for the luma component, residual coding for the Cb component, and residual coding for the Cr component.

Since the CBF value for the luma component is 0, even though the residual coding for the luma component is not invoked, residual coding may be invoked for the Cb component and the Cr component so that the variable LfnstDcOnly value may updated to 0. In this case, when the value of LfnstZeroOutSigCoeffFlag is maintained as 1, it may be determined that LFNST is applied.

Therefore, according to an example, LFNST may be applied only when the CBF value for the luma component is 1.

In addition, when the ISP mode is applied in the current VVC standard, since the corresponding CBF value is guaranteed to be 1 for at least one of ISP partition blocks, when the ISP mode is applied to the current block, LFNST may be applied.

On the other hand, when the tree type is dual tree chromile, LFNST may be applied regardless of the value of the transform coefficient coding flag for the luma component.

On the other hand, according to another example, in the case of the tree type being the single tree, even though the value of the transform coefficient coding flag for the luma component is not 1 or the ISP mode is not applied to the luma component, the LFNST index for LFNST application is signaled, in this case, the value of the LFNST index may be 0. As described in Table 17, this constraint may be implicitly allowed by the decoding apparatus and the encoding apparatus as a bitstream constraint.

The bitstream constraint may be applied when 1) the tree type of the current block is the single tree, 2) not applied the ISP mode, and 3) the CBF value for luma is 0.

In addition, the encoding apparatus may derive a first variable (DC significant coefficient variable) indicating whether a significant coefficient exists in the DC component of the current block and a second variable indicating whether a transform coefficient exists in the zero-out region by applying a plurality of LFNST matrices to transform coefficients.

The encoding apparatus may derive a variable after applying LFNST to each LFNST matrix candidate, or derive a variable in a state in which LFNST is not applied when LFNST is not applied.

Specifically, the encoding apparatus may apply a plurality of LFNST candidates, that is, the LFNST matrix, and may exclude the corresponding LFNST matrix in which significant coefficients of all transform blocks exist only in the DC position (of course, when the CBF is 0, excluded in the corresponding variable determination process), and may compare RD values only between LFNST matrices in which the value of the first variable is 0. For example, the case where LFNST is not applied is included in the comparison process because it is irrelevant to the value of the first variable (in this case, since LFNST is not applied, the value of the first variable is determined based on the transform coefficient obtained as a result of primary transform), LFNST matrices in which the corresponding first variable value is 0 are also included in the RD value comparison process.

In addition, whether the second variable is updated may be determined by applying a plurality of LFNST candidates, that is, the LFNST matrix for the second variable.

The first variable represents whether a significant coefficient exists at a position other than the DC component of the current block, and the second variable may be a variable representing whether the transform coefficient exists in a second region other than a first region at the top-left of the current block.

These first and second variables are initially set to 1, and if a significant coefficient exists at a position other than the DC component of the current block, the first variable may be updated to 0, and if a transform coefficient exists in the second region, the second variable may be updated to 0.

If the tree type of the current block is dual tree luma, the encoding apparatus may derive the first variable and the second variable with respect to the luma component of the current block. Also, if the tree type is dual tree chroma, the encoding apparatus may derive the first variable and the second variable with respect to the first chroma component and the second chroma component, and in this case, if the first variable for the first chroma component is updated to 0, the first variable is not changed to 1 again.

A variable indicating whether a significant coefficient exists in the DC component of the current block may be expressed as a variable LfnstDcOnly, and if a non-zero coefficient exists at a position other than the DC component for at least one transform block in one coding unit, LfnstDcOnly becomes 0, and if a non-zero coefficient does not exist at a position for all transform blocks in one coding unit. In this document, the DC component refers to (0, 0) or the top-left position with respect to a position for the 2D component.

Several transform blocks may exist within one coding unit. For example, in the case of a chroma component, transform blocks for Cb and Cr may exist, and in the case of a single tree type, transform blocks for luma, Cb, and Cr may exist. According to an example, if a non-zero coefficient is found at a position other than the DC component position even in one of the transform blocks configuring the current coding block, the value of the variable LnfstDcOnly may be set to 0.

On the other hand, since residual coding is not performed on the corresponding transform block if non-zero coefficients do not exist in the transform block, the value of the variable LfnstDcOnly is not changed by the corresponding transform block. Therefore, if a non-zero coefficient does not exist in a non-DC component of the transform block, the value of the variable LfnstDcOnly is not changed and the previous value is maintained. For example, if the coding unit is coded as a single tree type and the variable LfnstDcOnly value is changed to 0 due to the luma transform block, the variable LfnstDcOnly value is maintained as 0 regardless of the transform coefficients of the Cb transform block or the Cb transform block. The variable LfnstDcOnly value is initially initialized to 1, and if any component in the current coding unit does not update the variable LfnstDcOnly value to 0, it maintains the value 1 as it is. Finally, if any component in the current coding unit updates the variable LfnstDcOnly value to 0, then finally it maintains as 0.

The second variable may be a variable LfnstZeroOutSigCoeffFlag, which may indicate that a zero-out is performed when the LFNST is applied. The second variable may be initially set to 1, and may be changed to 0 when the significant coefficient exists in the second region.

The variable LfnstZeroOutSigCoeffFlag may be derived as 0 when the index of a subblock in which the last non-zero coefficient exists is greater than 0 and both the width and the height of the transform block is equal to or greater than 4 or when the position of the last non-zero coefficient in the subblock in which the last non-zero coefficient exists is greater than 7 and the size of the transform block is 4×4 or 8×8. A subblock refers to a 4×4 block used as a coding unit in residual coding and may be referred to as a coefficient group (CG). A subblock index of 0 refers to a top-left 4×4 subblock.

That is, when a non-zero coefficient is derived in a region other than a top-left region in which an LFNST transform coefficient may exist in the transform block or a non-zero coefficient exists at a position other than an eighth position in a scanning order for a 4×4 block or 8×8 block, the variable LfnstZeroOutSigCoeffFlag is set to 0.

The encoding apparatus may select the most optimal LFNST matrix based on a result of determining whether to apply LFNST, and derive a modified transform coefficient based on the selected LFNST matrix (S1350).

The encoding apparatus 100 may determine the LFNST set based on a mapping relationship according to the intra prediction mode applied to the current block, and may perform LFNST, that is, non-separate transform based on one of the two LFNST matrices included in the LFNST set.

Here, the same LFNST set and the same LFNST index may be applied to sub-partition transform blocks into which the current block is split. That is, since the same intra prediction mode is applied to the sub-partition transform blocks, the LFNST set determined based on the intra prediction mode may also be equally applied to all of the sub-partition transform blocks. In addition, since the LFNST index is signaled in the coding unit level, the same LFNST matrix may be applied to the sub-partition transform blocks into which the current block is split.

As described above, a transform set may be determined according to an intra prediction mode of a transform block to be transformed. A matrix applied to LFNST has a transforce relationship with a matrix used for inverse LFNST.

In one example, the LFNST matrix may be a non-square matrix in which the number of rows is less than the number of columns.

When the tree type is the single tree, and when the value of the transform coefficient coding flag for the luma component of the current block is 0, or the ISP mode is not applied to the luma component and the value of the transform coefficient coding flag is 0, the LFNST index is not signaled.

That is, when the tree type of the current block is the single tree, the encoding device may encode and output the LFNST index if the value of the transform coefficient coding flag for the luma component of the current block is 1 or if the ISP mode is applied to the luma component.

The encoding apparatus may derive quantized transform coefficients by performing quantization based on the modified transform coefficients for the current block, and may encode the LFNST index.

The encoding apparatus may generate residual information including the information on the quantized transform coefficients. The residual information may include the foregoing transform-related information/syntax element. The encoding apparatus may encode image/video information including the residual information and may output the image/video information in the form of a bitstream.

Specifically, the encoding apparatus 100 may generate the information on the quantized transform coefficients and may encode the quantized information on the generated transform coefficients.

A syntax element of the LFNST index according to the present embodiment may indicate any one of whether the (inverse) LFNST is applied and any one of LFNST matrices included in the LFNST set, and when the LFNST set includes two transform kernel matrices, the syntax element of the LFNST index may have three values.

According to an example, when the split tree structure of the current block is a dual-tree type, the LFNST index may be encoded for each of a luma block and a chroma block.

According to an embodiment, the values of the syntax element of the transform index may include 0 indicating that no (inverse) LFNST is applied to the current block, 1 indicating a first LFNST matrix among the LFNST matrices, and 2 indicating a second LFNST matrix among the LFNST matrices.

In the present disclosure, at least one of quantization/dequantization and/or transform/inverse transform may be omitted. When quantization/dequantization is omitted, a quantized transform coefficient may be referred to as a transform coefficient. When transform/inverse transform is omitted, the transform coefficient may be referred to as a coefficient or a residual coefficient, or may still be referred to as a transform coefficient for consistency of expression.

Further, in the present disclosure, a quantized transform coefficient and a transform coefficient may be referred to as a transform coefficient and a scaled transform coefficient, respectively. In this case, residual information may include information on a transform coefficient(s), and the information on the transform coefficient(s) may be signaled through a residual coding syntax. Transform coefficients may be derived based on the residual information (or information on the transform coefficient(s)), and scaled transform coefficients may be derived through inverse transform (scaling) of the transform coefficients. Residual samples may be derived based on the inverse transform (transform) of the scaled transform coefficients. These details may also be applied/expressed in other parts of the present disclosure.

In the above-described embodiments, the methods are explained on the basis of flowcharts by means of a series of steps or blocks, but the present disclosure is not limited to the order of steps, and a certain step may be performed in order or step different from that described above, or concurrently with another step. Further, it may be understood by a person having ordinary skill in the art that the steps shown in a flowchart are not exclusive, and that another step may be incorporated or one or more steps of the flowchart may be removed without affecting the scope of the present disclosure.

The above-described methods according to the present disclosure may be implemented as a software form, and an encoding apparatus and/or decoding apparatus according to the disclosure may be included in a device for image processing, such as, a TV, a computer, a smartphone, a set-top box, a display device or the like.

When embodiments in the present disclosure are embodied by software, the above-described methods may be embodied as modules (processes, functions or the like) to perform the above-described functions. The modules may be stored in a memory and may be executed by a processor. The memory may be inside or outside the processor and may be connected to the processor in various well-known manners. The processor may include an application-specific integrated circuit (ASIC), other chipset, logic circuit, and/or a data processing device. The memory may include a read-only memory (ROM), a random access memory (RAM), a flash memory, a memory card, a storage medium, and/or other storage device. That is, embodiments described in the present disclosure may be embodied and performed on a processor, a microprocessor, a controller or a chip. For example, function units shown in each drawing may be embodied and performed on a computer, a processor, a microprocessor, a controller or a chip.

Further, the decoding apparatus and the encoding apparatus to which the present disclosure is applied, may be included in a multimedia broadcasting transceiver, a mobile communication terminal, a home cinema video device, a digital cinema video device, a surveillance camera, a video chat device, a real time communication device such as video communication, a mobile streaming device, a storage medium, a camcorder, a video on demand (VoD) service providing device, an over the top (OTT) video device, an Internet streaming service providing device, a three-dimensional (3D) video device, a video telephony video device, and a medical video device, and may be used to process a video signal or a data signal. For example, the over the top (OTT) video device may include a game console, a Blu-ray player, an Internet access TV, a Home theater system, a smartphone, a Tablet PC, a digital video recorder (DVR) and the like.

In addition, the processing method to which the present disclosure is applied, may be produced in the form of a program executed by a computer, and be stored in a computer-readable recording medium. Multimedia data having a data structure according to the present disclosure may also be stored in a computer-readable recording medium. The computer-readable recording medium includes all kinds of storage devices and distributed storage devices in which computer-readable data are stored. The computer-readable recording medium may include, for example, a Blu-ray Disc (BD), a universal serial bus (USB), a ROM, a PROM, an EPROM, an EEPROM, a RAM, a CD-ROM, a magnetic tape, a floppy disk, and an optical data storage device. Further, the computer-readable recording medium includes media embodied in the form of a carrier wave (for example, transmission over the Internet),In addition, a bitstream generated by the encoding method may be stored in a computer-readable recording medium or transmitted through a wired or wireless communication network. Additionally, the embodiments of the present disclosure may be embodied as a computer program product by program codes, and the program codes may be executed on a computer by the embodiments of the present disclosure. The program codes may be stored on a computer-readable carrier.

FIG. 14 schematically illustrates an example of a video/image coding system to which the present disclosure is applicable.

Referring to FIG. 14 , the video/image coding system may include a first device (source device) and a second device (receive device). The source device may deliver encoded video/image information or data in the form of a file or streaming to the receive device via a digital storage medium or network.

The source device may include a video source, an encoding apparatus, and a transmitter. The receive device may include a receiver, a decoding apparatus, and a renderer. The encoding apparatus may be called a video/image encoding apparatus, and the decoding apparatus may be called a video/image decoding apparatus. The transmitter may be included in the encoding apparatus. The receiver may be included in the decoding apparatus. The renderer may include a display, and the display may be configured as a separate device or an external component.

The video source may obtain a video/image through a process of capturing, synthesizing, or generating a video/image. The video source may include a video/image capture device and/or a video/image generating device. The video/image capture device may include, for example, one or more cameras, video/image archives including previously captured video/images, or the like. The video/image generating device may include, for example, a computer, a tablet and a smartphone, and may (electronically) generate a video/image. For example, a virtual video/image may be generated through a computer or the like. In this case, the video/image capturing process may be replaced by a process of generating related data.

The encoding apparatus may encode an input video/image. The encoding apparatus may perform a series of procedures such as prediction, transform, and quantization for compression and coding efficiency. The encoded data (encoded video/image information) may be output in the form of a bitstream.

The transmitter may transmit the encoded video/image information or data output in the form of a bitstream to the receiver of the receive device through a digital storage medium or a network in the form of a file or streaming. The digital storage medium may include various storage mediums such as USB, SD, CD, DVD, Blu-ray, HDD, SSD, and the like. The transmitter may include an element for generating a media file through a predetermined file format, and may include an element for transmission through a broadcast/communication network. The receiver may receive/extract the bitstream and transmit the received/extracted bitstream to the decoding apparatus.

The decoding apparatus may decode a video/image by performing a series of procedures such as dequantization, inverse transform, prediction, and the like corresponding to the operation of the encoding apparatus.

The renderer may render the decoded video/image. The rendered video/image may be displayed through the display.

FIG. 15 illustrates the structure of a content streaming system to which the present disclosure is applied.

Further, the contents streaming system to which the present disclosure is applied may largely include an encoding server, a streaming server, a web server, a media storage, a user equipment, and a multimedia input device.

The encoding server functions to compress to digital data the contents input from the multimedia input devices, such as the smart phone, the camera, the camcoder and the like, to generate a bitstream, and to transmit it to the streaming server. As another example, in a case where the multimedia input device, such as, the smart phone, the camera, the camcoder or the like, directly generates a bitstream, the encoding server may be omitted. The bitstream may be generated by an encoding method or a bitstream generation method to which the present disclosure is applied. And the streaming server may store the bitstream temporarily during a process to transmit or receive the bitstream.

The streaming server transmits multimedia data to the user equipment on the basis of a user's request through the web server, which functions as an instrument that informs a user of what service there is. When the user requests a service which the user wants, the web server transfers the request to the streaming server, and the streaming server transmits multimedia data to the user. In this regard, the contents streaming system may include a separate control server, and in this case, the control server functions to control commands/responses between respective equipments in the content streaming system.

The streaming server may receive contents from the media storage and/or the encoding server. For example, in a case the contents are received from the encoding server, the contents may be received in real time. In this case, the streaming server may store the bitstream for a predetermined period of time to provide the streaming service smoothly.

For example, the user equipment may include a mobile phone, a smart phone, a laptop computer, a digital broadcasting terminal, a personal digital assistant (PDA), a portable multimedia player (PMP), a navigation, a slate PC, a tablet PC, an ultrabook, a wearable device (e.g., a watch-type terminal (smart watch), a glass-type terminal (smart glass), a head mounted display (HMD)), a digital TV, a desktop computer, a digital signage or the like. Each of servers in the contents streaming system may be operated as a distributed server, and in this case, data received by each server may be processed in distributed manner

The claims described herein may be combined in various ways. For example, the technical features of the method claims of the present specification may be combined and implemented as an apparatus, and the technical features of the apparatus claims of the present specification may be combined and implemented as a method. In addition, the technical features of the method claim of the present specification and the technical features of the apparatus claim may be combined to be implemented as an apparatus, and the technical features of the method claim of the present specification and the technical features of the apparatus claim may be combined and implemented as a method. 

1. A method of decoding an image performed by a decoding apparatus, the method comprising: receiving residual information from a bitstream; deriving a transform coefficient for a current block based on the residual information; and deriving a modified transform coefficient by applying an LFNST to the transform coefficient, wherein deriving the modified transform coefficient comprising: determining whether a tree type of the current block is a single tree; parsing, in response to the tree type being the single tree, an LFNST index based on a value of a transform coefficient coding flag for a luma component of the current block or whether an ISP mode is applied to the luma component; and deriving the modified transform coefficient by applying an LFNST kernel derived based on the LFNST index.
 2. The method of claim 1, wherein the LFNST index is parsed based on the value of the transform coefficient coding flag for the luma component being equal to
 1. 3. The method of claim 1, wherein the LFNST index is parsed based on the application of the ISP mode to the luma component.
 4. The method of claim 1, wherein, in response to the tree type being a dual tree chroma, the LFNST index is parsed regardless of the value of the transform coefficient coding flag for the luma component.
 5. The method of claim 1, wherein, in response to the value of the transform coefficient coding flag for the luma component being equal to 0, a value of the LFNST index is equal to
 0. 6. The method of claim 1, wherein, in response to a case where the ISP mode is not applied to the luma component and the value of the transform coefficient coding flag is equal to 0, a value of the LFNST index is equal to
 0. 7. A method of encoding an image performed by an encoding apparatus, the method comprising: deriving a prediction sample for a current block; deriving a residual sample for the current block based on the prediction sample; deriving a transform coefficient for the current block based on a primary transform on the residual sample; and deriving a modified transform coefficient by applying an LFNST to the transform coefficient, wherein deriving the modified transform coefficient comprising: determining whether a tree type of the current block is a single tree; determining, in response to the tree type being the single tree, whether to apply the LFNST based on a value of a transform coefficient coding flag for a luma component of the current block or whether an ISP mode is applied to the luma component; and deriving the modified transform coefficient from the transform coefficient based on a result of the determination.
 8. The method of claim 7, wherein the LFNST is applied based on the value of the transform coefficient coding flag for the luma component being equal to
 1. 9. The method of claim 7, wherein the LFNST is applied based on the application of the ISP mode to the luma component.
 10. The method of claim 7, wherein, in response to the tree type being a dual tree chroma, the LFNST is applied regardless of the value of the transform coefficient coding flag for the luma component.
 11. The method of claim 7, further comprising: encoding, in response to the value of the transform coefficient coding flag for the luma component being equal to 0, a value of an LFNST index indicating an LFNST matrix as
 0. 12. The method of claim 7, further comprising: encoding, in response to a case where the ISP mode is not applied to the luma component and the value of the transform coefficient coding flag is equal to 0, a value of an LFNST index indicating an LFNST matrix as
 0. 13. A computer-readable digital storage medium for storing a bitstream generated by an image encoding method, the image encoding method comprising: deriving a prediction sample for a current block; deriving a residual sample for the current block based on the prediction sample; deriving a transform coefficient for the current block based on a primary transform on the residual sample; and deriving a modified transform coefficient by applying an LFNST to the transform coefficient, wherein deriving the modified transform coefficient comprising: determining whether a tree type of the current block is a single tree; determining, in response to the tree type being the single tree, whether to apply the LFNST based on a value of a transform coefficient coding flag for a luma component of the current block or whether an ISP mode is applied to the luma component; and deriving the modified transform coefficient from the transform coefficient based on a result of the determination. 